diff options
| -rw-r--r-- | MANUAL.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index f4c8595d8..a4dd53de8 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -1497,8 +1497,8 @@ top-level-division: default trace: false track-changes: accept-changes variables: - - documentclass: book - - classoptions: + documentclass: book + classoptions: - twosides - draft verbosity: WARNING |