diff options
Diffstat (limited to 'doc/Makefile.latex')
| -rw-r--r-- | doc/Makefile.latex | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/doc/Makefile.latex b/doc/Makefile.latex index 7ab03a3..bd902df 100644 --- a/doc/Makefile.latex +++ b/doc/Makefile.latex @@ -1,4 +1,20 @@ -all: doxygen_manual.ps +# +# $Id$ +# +# Copyright (C) 1997-1999 by Dimitri van Heesch. +# +# Permission to use, copy, modify, and distribute this software and its +# documentation under the terms of the GNU General Public License is hereby +# granted. No representations are made about the suitability of this software +# for any purpose. It is provided "as is" without express or implied warranty. +# See the GNU General Public License for more details. +# +# All output generated with Doxygen is not covered by this license. + +all: doxygen_manual.pdf + +doxygen_manual.pdf: doxygen_manual.ps + ps2pdf doxygen_manual.ps doxygen_manual.pdf doxygen_manual.ps: doxygen_manual.dvi dvips -o doxygen_manual.ps doxygen_manual.dvi |