# Copyright (C) 2008 Thomas Cort
#
# Permission is granted to copy, distribute and/or modify this document
# under the terms of the GNU Free Documentation License, Version 1.2
# or any later version published by the Free Software Foundation;
# with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
# Texts.  A copy of the license is included in the section entitled "GNU
# Free Documentation License".

FILES="tinypoker.aux tinypoker.cp tinypoker.cps tinypoker.fn tinypoker.ky tinypoker.log tinypoker.pdf tinypoker.pg tinypoker.toc tinypoker.tp tinypoker.vr"

for FILE in ${FILES}
do
	rm -f ${FILE}
done