diff options
-rw-r--r-- | doc/main.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/main.am b/doc/main.am index 21a65d14ea..5076f4aa12 100644 --- a/doc/main.am +++ b/doc/main.am @@ -15,6 +15,7 @@ TEXI2HTML_ARGS=\ TEXI2ANY_ARGS=\ --html -D use-html --split node \ +-c MENU_ENTRY_COLON= -c NODE_NAME_IN_MENU=0 -c USE_NODES=0 \ -o $(PROJECT)/ \ --init-file=$(top_builddir)/texi2any_init \ -I $(srcdir) -I $(top_srcdir) -I $(top_builddir) -I . |