diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index bb2ff49..094d660 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am | |||
@@ -141,11 +141,17 @@ GENDOCS=gendocs.sh | |||
141 | 141 | ||
142 | TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E | 142 | TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E |
143 | 143 | ||
144 | .PHONY: manual man-tar | ||
144 | # Make sure you set TEXINPUTS. | 145 | # Make sure you set TEXINPUTS. |
145 | # TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions | 146 | # TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions |
146 | manual: | 147 | manual: |
148 | rm -rf manual | ||
147 | TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ | 149 | TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ |
148 | MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ | 150 | MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ |
149 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ | 151 | TEXI2DVI="$(TEXI2DVI) -t @finalout" \ |
150 | $(GENDOCS) --texi2html $(PACKAGE) '$(PACKAGE_NAME) manual' | 152 | $(GENDOCS) --texi2html $(PACKAGE) '$(PACKAGE_NAME) manual' |
151 | 153 | ||
154 | manual.tar.bz2: manual | ||
155 | tar cfj manual.tar.bz2 manual | ||
156 | |||
157 | man-tar: manual.tar.bz2 \ No newline at end of file | ||