Commit 29add8d3 authored by Guillaume Melquiond's avatar Guillaume Melquiond Committed by MARCHE Claude
Browse files

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

parent e23e4db6
......@@ -111,7 +111,7 @@ AC_ARG_ENABLE(doc,
AS_HELP_STRING([--enable-html-doc], [do not build HTML documentation]),,
AS_HELP_STRING([--disable-html-doc], [do not build HTML documentation]),,
# Experimental Jessie3 Frama-C plugin, disabled by default
Supports Markdown
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