diff options
Diffstat (limited to 'doc/manual/local.mk')
| -rw-r--r-- | doc/manual/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 7a2c36ccebc7..0a5353acd354 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -6,7 +6,8 @@ XSLTPROC = $(xsltproc) --nonet $(xmlflags) \ --param toc.section.depth 3 \ --param admon.style \'\' \ --param callout.graphics.extension \'.gif\' \ - --param contrib.inline.enabled 0 + --param contrib.inline.enabled 0 \ + --stringparam generate.toc "book toc" MANUAL_SRCS := $(call rwildcard, $(d), *.xml) |