diff options
| -rw-r--r-- | docs/fptools-both.dsl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/fptools-both.dsl b/docs/fptools-both.dsl index 44f85c9a92..11aa1ce87c 100644 --- a/docs/fptools-both.dsl +++ b/docs/fptools-both.dsl @@ -60,6 +60,7 @@ Options added: ;; "large-type" "normal") +(define %generate-set-toc% #t) (define %generate-part-toc% #t) ;; (define %block-start-indent% 10pt) |