diff options
Diffstat (limited to 'doc/common/setup.texi')
-rw-r--r-- | doc/common/setup.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/common/setup.texi b/doc/common/setup.texi index bbb0600dc9..59e80a98ff 100644 --- a/doc/common/setup.texi +++ b/doc/common/setup.texi @@ -13,8 +13,8 @@ @c @set use-ascii -@clear use-html -@clear use-tex +@c @clear use-html +@c @clear use-tex @iftex @clear use-ascii |