Remove // not configured when generating doc/misc/options

The doc/misc/options is used to generate a file describing all
configuration options. Currently, the file contents could differ
based on ./configure option which is kind of suboptimal.

We already removed the "// not configured" from the options.active, and
this time we remove generation of the string altogether.

diff --git a/doc/misc/Makefile.am b/doc/misc/Makefile.am
index 26a3980b58608d420ed949b89a2e8135a88fc717..04790912cb684fa213e8e8943366f0cb6fdceb77 100644 (file)
--- a/doc/misc/Makefile.am
+++ b/doc/misc/Makefile.am
@@ -62,7 +62,7 @@ EXTRA_DIST =                  \
 MAINTAINERCLEANFILES = $(BUILT_SOURCES)
 
 options: cfg_test
-       $(AM_V_CFG_TEST)$(builddir)/cfg_test --named --grammar | $(PERL) $(srcdir)/sort-options.pl | $(PERL) $(srcdir)/format-options.pl > $@
+       $(AM_V_CFG_TEST)$(builddir)/cfg_test --named --grammar | $(PERL) $(srcdir)/sort-options.pl | $(PERL) $(srcdir)/format-options.pl --strip-not-configured > $@
 
 options.active: cfg_test
        $(AM_V_CFG_TEST)$(builddir)/cfg_test --named --grammar --active | $(PERL) $(srcdir)/sort-options.pl | $(PERL) $(srcdir)/format-options.pl --strip-not-configured > $@