fltk/documentation/make_pdf

48 lines
1.3 KiB
Bash
Executable File

#! /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$".
#