mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-06 21:51:40 +00:00
32 lines
1.1 KiB
Makefile
32 lines
1.1 KiB
Makefile
# $Id: Makefile,v 1.8 2007-07-06 22:56:38 haible Exp $
|
|
# Makefile for gnulib doc.
|
|
# 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
|
|
# notice and this notice are preserved.
|
|
|
|
doc = gnulib
|
|
|
|
TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
|
|
%.html: %.texi
|
|
$(TEXI2HTML) -o $@ $<
|
|
|
|
%.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
|