diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index bf979c8..4aa626c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -9,7 +9,7 @@ TEXI2HTML_FLAGS = -split_chapter info_TEXINFOS = make.texi make_TEXINFOS = fdl.texi make-stds.texi -CLEANFILES = make*.html make*.pdf +CLEANFILES = make*.html ## ----------------------------- ## ## Other documentation formats. ## @@ -20,10 +20,4 @@ html: make_1.html make_1.html: $(info_TEXINFOS) $(make_TEXINFOS) $(TEXI2HTML) $(TEXI2HTML_FLAGS) $(srcdir)/make.texi - -pdf: make.pdf - -make.pdf: $(info_TEXINFOS) $(make_TEXINFOS) - $(TEXI2DVI) --pdf --batch $(srcdir)/make.texi - -.PHONY: html pdf +.PHONY: html |