# 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".

TEXI2PDF=$(which texi2pdf)

if [[ !(-f ${TEXI2PDF}) ]]
then
        echo "Install texinfo!"
        exit 1
fi


./clean
${TEXI2PDF} tinypoker.texi