diff options
Diffstat (limited to 'documentation/make_pdf')
| -rwxr-xr-x | documentation/make_pdf | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/documentation/make_pdf b/documentation/make_pdf new file mode 100755 index 000000000..dd8894895 --- /dev/null +++ b/documentation/make_pdf @@ -0,0 +1,47 @@ +#! /bin/sh +# +# $Id$ +# +# Makefile helper script for the Fast Light Tool Kit (FLTK) documentation. +# +# Copyright 1998-2015 by Bill Spitzak and others. +# +# This library is free software. Distribution and use rights are outlined in +# the file "COPYING" which should have been included with this file. If this +# file is missing or damaged, see the license at: +# +# http://www.fltk.org/COPYING.php +# +# Please report all bugs and problems on the following page: +# +# http://www.fltk.org/str.php +# + +# This script generates latex/refman.pdf after doxygen has been executed. +# +# Input: run `doxygen Doxybook' (creates files in subdirectory latex) +# Output: latex/refman.pdf (if successful) +# +# Next step: cp -f latex/refman.pdf fltk.pdf (why is this extra step needed ?) +# +# Working directory: fltk/documentation +# +# Used in: Makefile and CMakeLists.txt + +( cd latex + pdflatex --interaction=nonstopmode refman.tex + makeindex refman.idx + pdflatex --interaction=nonstopmode refman.tex + latex_count=5 + while egrep -s 'Rerun (LaTeX|to get cross-references right)' refman.log \ + && [ $latex_count -gt 0 ] + do + echo "Rerunning pdflatex ..." + pdflatex --interaction=nonstopmode refman.tex + latex_count=`expr $latex_count - 1` + done + cd ..) > pdfall.log 2>&1 + +# +# End of "$Id$". +# |