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 @@ -75,5 +75,5 @@ untabify: imprimatur-untabify final: imprimatur-final -GENDOCS=$(srcdir)/gendocs.sh +GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html --init-file='$(abs_srcdir)/html.init' EXTRA_DIST += gendocs.sh @@ -88,5 +88,5 @@ manual: MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' + $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual' manual.tar.bz2: manual |