diff options
| author | monty@work.mysql.com <> | 2000-12-13 12:43:45 +0100 |
|---|---|---|
| committer | monty@work.mysql.com <> | 2000-12-13 12:43:45 +0100 |
| commit | e1c55775e554876c449d57968480c4630203ac68 (patch) | |
| tree | 30402773df533d84ae847cd89d3a19df4db4ffbc /Docs/Makefile.am | |
| parent | c15819407686dc7bbfe92d49133e87dae7809fc9 (diff) | |
| download | mariadb-git-e1c55775e554876c449d57968480c4630203ac68.tar.gz | |
mysql.spec.sh Don't install BDB
Do-patch-file Update for new web structure
Makefile.am Added dependency for manual_toc.html
Makefile.am Replaced chmod with RM to avoid error message
Diffstat (limited to 'Docs/Makefile.am')
| -rw-r--r-- | Docs/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index 1e0c8e9665a..5593f495bf9 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -56,6 +56,9 @@ manual.txt: manual.texi include.texi manual.html: manual.texi include.texi $(srcdir)/Support/texi2html cd $(srcdir) && @PERL@ $(srcdir)/Support/texi2html $(TEXI2HTML_FLAGS) $< +manual_toc.html: manual.html + + # Fix: add --output-comment with some interesting info? # Fix: @image worked with a older version of pdftex. # Note: @image will work if we first convert all images to pdf ... |