diff options
Diffstat (limited to 'doc/manual.tex')
| -rw-r--r-- | doc/manual.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 127a9cb..c95e5ca 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -79,7 +79,6 @@ jobvariables.tobesaved = jobvariables.tobesaved or {} %\prependtoks \getbuffer[pubs] \to \everystoptext \setupwhitespace[none] -\setupindentation[yes,medium,next] \setuplayout[grid=verystrict] \setuptolerance[tolerant] \language[en] |