diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2019-07-02 17:38:17 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2019-07-02 17:38:17 +0300 |
commit | becc0633f67b346b7c434655a71e6818ed62d58f (patch) | |
tree | 76222d8c5558d38cdff23ff5b9ba3c33d5c6005c | |
parent | 86586549c1b32d3fa6e802814c13129872cbb98a (diff) | |
download | pies-becc0633f67b346b7c434655a71e6818ed62d58f.tar.gz pies-becc0633f67b346b7c434655a71e6818ed62d58f.tar.bz2 |
Fix doc/manual generation
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 2f8fe2d..6f0c5f7 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -74,7 +74,7 @@ master-menu: imprimatur-master-menu | |||
74 | untabify: imprimatur-untabify | 74 | untabify: imprimatur-untabify |
75 | final: imprimatur-final | 75 | final: imprimatur-final |
76 | 76 | ||
77 | GENDOCS=$(srcdir)/gendocs.sh | 77 | GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html --init-file='$(abs_srcdir)/html.init' |
78 | EXTRA_DIST += gendocs.sh | 78 | EXTRA_DIST += gendocs.sh |
79 | 79 | ||
80 | TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -I $(top_srcdir)/imprimatur | 80 | TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -I $(top_srcdir)/imprimatur |
@@ -87,7 +87,7 @@ manual: | |||
87 | TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ | 87 | TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ |
88 | MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ | 88 | MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ |
89 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ | 89 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ |
90 | $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' | 90 | $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual' |
91 | 91 | ||
92 | manual.tar.bz2: manual | 92 | manual.tar.bz2: manual |
93 | tar cfj manual.tar.bz2 manual | 93 | tar cfj manual.tar.bz2 manual |