diff options
| author | Sergey Poznyakoff <gray@gnu.org.ua> | 2007-10-30 14:08:21 +0000 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2007-10-30 14:08:21 +0000 |
| commit | 362492fe70b789c926b3e1ed474aaccdc38b51ac (patch) | |
| tree | 240492fe582adbbea7d4fb8db39fa6c024508d3f | |
| parent | 7111008659ee7d595cd2fa9f42944b4d59102f02 (diff) | |
| download | tar-362492fe70b789c926b3e1ed474aaccdc38b51ac.tar.gz | |
Use texi2html and the CVS version of gendocs.sh to create HTML versions of the manual
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 232d2ea3..47c8ea84 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -82,5 +82,5 @@ manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-tex:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) tar 'GNU tar manual' + $(GENDOCS) --texi2html tar 'GNU tar manual' |