-# $Id: Makefile,v 1.1 2004-09-19 13:17:06 karl Exp $
+# $Id: Makefile,v 1.8 2007-07-06 22:56:38 haible Exp $
# Makefile for gnulib doc.
-# Copyright (C) 2004 Free Software Foundation, Inc.
+# Copyright (C) 2004, 2006-2007 Free Software Foundation, Inc.
#
# Copying and distribution of this file, with or without modification,
# are permitted in any medium without royalty provided the copyright
doc = gnulib
-TEXI2HTML = $(MAKEINFO) --no-split --html
+TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
%.html: %.texi
- $(TEXI2HTML) -o $@ $<
+ $(TEXI2HTML) -o $@ $<
-all: $(doc).info $(doc).html $(doc).dvi
+%.info: %.texi
+ LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo --no-split --reference-limit=2000 $<
+
+all: info html dvi
+info: $(doc).info
+html: $(doc).html
+dvi: $(doc).dvi
+
+# Dependencies. Search for @include to find them all.
+gnulib.info gnulib.html gnulib.dvi: 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
+standards.info standards.html standards.dvi: standards.texi make-stds.texi fdl.texi
+
+mostlyclean:
+ rm -f *.aux *.cp *.cps *.fn *.ky *.log *.pg *.toc *.tp *.vr *.vrs
+
+clean: mostlyclean
+ rm -f *.info *.html *.dvi *.ps *.pdf