1 # $Id: Makefile,v 1.8 2007-07-06 22:56:38 haible Exp $
2 # Makefile for gnulib doc.
3 # Copyright (C) 2004, 2006-2008 Free Software Foundation, Inc.
5 # Copying and distribution of this file, with or without modification,
6 # are permitted in any medium without royalty provided the copyright
7 # notice and this notice are preserved.
11 TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
16 LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo --no-split --reference-limit=2000 $<
19 texi2pdf $< || { if texi2pdf $< 2>/dev/null | grep 'TeX capacity exceeded, sorry \[save size=' > /dev/null; then echo '*** You must increase the save_size in your texmf.cnf file.'; fi; exit 1; }
27 # Dependencies. Search for @include to find them all.
28 gnulib.info gnulib.html gnulib.dvi gnulib.pdf: gnulib.texi gnulib-intro.texi gnulib-tool.texi $(wildcard headers/*.texi) $(wildcard functions/*.texi) quote.texi error.texi gcd.texi relocatable-maint.texi regexprops-generic.texi fdl.texi
29 standards.info standards.html standards.dvi: standards.texi make-stds.texi fdl.texi
32 rm -f *.aux *.cp *.cps *.fn *.ky *.log *.pg *.toc *.tp *.vr *.vrs
35 rm -f *.info *.html *.dvi *.ps *.pdf