diff options
Diffstat (limited to 'Build/source/utils/xindy/doc/Makefile.am')
-rw-r--r-- | Build/source/utils/xindy/doc/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/doc/Makefile.am b/Build/source/utils/xindy/doc/Makefile.am index 13ecbd0d113..adceaa4091f 100644 --- a/Build/source/utils/xindy/doc/Makefile.am +++ b/Build/source/utils/xindy/doc/Makefile.am @@ -53,6 +53,7 @@ dist_noinst_DATA = xindy.v2.pdf makeindex4.pdf doc_DATA = $(FILES) $(PDFS) +if MAINTAINER_MODE GROFF = groff $(srcdir)/xindy.pdf: $(top_srcdir)/user-commands/xindy.1 @@ -69,4 +70,4 @@ $(srcdir)/xindy.v2.pdf: $(top_srcdir)/user-commands/xindy.v2.1 $(srcdir)/tex2xindy.pdf: $(top_srcdir)/tex2xindy/tex2xindy.1 -$(GROFF) -man -P-g $< | ps2pdf - $@ - +endif |