X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=README;h=0ba6f76b3ca36272470d4efe44d6f822486f9149;hp=33258e8aab065391e26c2a47fccaf3b1990b6797;hb=e3ed06579bd8129c11af0a1636a55d62af08980b;hpb=7252a72465d8776f49fb6bf7b46a3942bbd53ba8

diff --git a/README b/README
index 33258e8aab..0ba6f76b3c 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
 -------------------------------