diff options
Diffstat (limited to 'make.texinfo')
| -rw-r--r-- | make.texinfo | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/make.texinfo b/make.texinfo index 489252c..84b932c 100644 --- a/make.texinfo +++ b/make.texinfo @@ -15,14 +15,6 @@ @c ISPELL CHECK: done, 14 Jan 1993 --bob -@c Set the following only if you have the new `shorttitlepage' command: -@c clear shorttitlepage -@set shorttitlepage - -@c Set the following only if you have the new, two level index `texindex' -@c clear two-level-index -@set two-level-index - @ifset two-level-index @tex % trying for a two-level index |