Commit f1363461 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix help string for configure. (Fix bug #18961)

parent 26776eb9
......@@ -111,7 +111,7 @@ AC_ARG_ENABLE(doc,
enable_doc=yes)
AC_ARG_ENABLE(html-doc,
AS_HELP_STRING([--enable-html-doc], [do not build HTML documentation]),,
AS_HELP_STRING([--disable-html-doc], [do not build HTML documentation]),,
enable_html_doc=yes)
# Experimental Jessie3 Frama-C plugin, disabled by default
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment