diff options
| author | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2006-07-20 18:07:46 +0000 |
|---|---|---|
| committer | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2006-07-20 18:07:46 +0000 |
| commit | 9413c2a4efdd2de08b1ef57e2f9d5feb4c24c6ad (patch) | |
| tree | 5622118e206d4a017b2efd7ef54d29d1d20f8242 /tools | |
| parent | 1c3dff7c83e7a2258c545de8e52f1ecad392e635 (diff) | |
| download | rockbox-9413c2a4efdd2de08b1ef57e2f9d5feb4c24c6ad.zip rockbox-9413c2a4efdd2de08b1ef57e2f9d5feb4c24c6ad.tar.gz rockbox-9413c2a4efdd2de08b1ef57e2f9d5feb4c24c6ad.tar.bz2 rockbox-9413c2a4efdd2de08b1ef57e2f9d5feb4c24c6ad.tar.xz | |
Add new make targets to build the manual as html.
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@10265 a1c6a512-1295-4272-9138-f99709370657
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 37 |
1 files changed, 23 insertions, 14 deletions
diff --git a/tools/configure b/tools/configure index 1b8e677..318a1c8 100755 --- a/tools/configure +++ b/tools/configure @@ -1296,24 +1296,33 @@ bzip2: tar gzip: tar \$(SILENT)gzip -f9 rockbox.tar -manual: - \$(SILENT)\$(MAKE) -C \$(MANUALDIR) OBJDIR=\$(BUILDDIR)/manual buildmanual +manual: manual-pdf +manual-pdf: + \$(SILENT)\$(MAKE) -C \$(MANUALDIR) OBJDIR=\$(BUILDDIR)/manual manual-pdf + +manual-html: + \$(SILENT)\$(MAKE) -C \$(MANUALDIR) OBJDIR=\$(BUILDDIR)/manual manual-html + +manual-zip: + \$(SILENT)\$(MAKE) -C \$(MANUALDIR) OBJDIR=\$(BUILDDIR)/manual manual-zip help: @echo "A few helpful make targets" @echo "" - @echo "all - builds a full Rockbox (default), including tools" - @echo "clean - cleans a build directory (not tools)" - @echo "veryclean - cleans the build and tools directories" - @echo "manual - builds a manual" - @echo "fullzip - creates a rockbox.zip of your build with fonts" - @echo "zip - creates a rockbox.zip of your build (no fonts)" - @echo "gzip - creates a rockbox.tar.gz of your build (no fonts)" - @echo "bzip2 - creates a rockbox.tar.bz2 of your build (no fonts)" - @echo "7zip - creates a rockbox.7z of your build (no fonts)" - @echo "fontzip - creates rockbox-fonts.zip" - @echo "tools - builds the tools only" - @echo "install - installs your build (for simulator builds only)" + @echo "all - builds a full Rockbox (default), including tools" + @echo "clean - cleans a build directory (not tools)" + @echo "veryclean - cleans the build and tools directories" + @echo "manual - builds a manual" + @echo "manual-html - HTML manual" + @echo "manual-zip - HTML manual (zipped)" + @echo "fullzip - creates a rockbox.zip of your build with fonts" + @echo "zip - creates a rockbox.zip of your build (no fonts)" + @echo "gzip - creates a rockbox.tar.gz of your build (no fonts)" + @echo "bzip2 - creates a rockbox.tar.bz2 of your build (no fonts)" + @echo "7zip - creates a rockbox.7z of your build (no fonts)" + @echo "fontzip - creates rockbox-fonts.zip" + @echo "tools - builds the tools only" + @echo "install - installs your build (for simulator builds only)" EOF |