summaryrefslogtreecommitdiffstats
path: root/README
diff options
context:
space:
mode:
authorZachary T Welch <zw@superlucidity.net>2009-11-17 06:54:56 -0800
committerZachary T Welch <zw@superlucidity.net>2009-11-17 11:42:48 -0800
commit0091e59d2a18c293fd952a9d707e609afdd6b17f (patch)
tree094899126558e846013a46379920af51a1a55313 /README
parent94975c96d4f1f614e0877cac32ed5949cd0235f6 (diff)
downloadopenocd-0091e59d2a18c293fd952a9d707e609afdd6b17f.tar.gz
openocd-0091e59d2a18c293fd952a9d707e609afdd6b17f.tar.xz
allow documentation to be configured
Add --disable-doxygen-html and --enable-doxygen-pdf options to the configure script, allowing user to change the defaults. These update the proess of munging the Doxygen configuration file to use the settings thusly provided. Add options in README.
Diffstat (limited to 'README')
-rw-r--r--README3
1 files changed, 3 insertions, 0 deletions
diff --git a/README b/README
index 33258e8a..0ba6f76b 100644
--- a/README
+++ b/README
@@ -258,6 +258,9 @@ options may be available there:
--enable-httpd Enable builtin httpd server - useful for standalone
OpenOCD implementations
+ --disable-doxygen-html Disable building Doxygen manual as HTML.
+ --enable-doxygen-pdf Enable building Doxygen manual as PDF.
+
Miscellaneous Configure Options
-------------------------------