diff options
| -rw-r--r-- | man/emacs.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/man/emacs.texi b/man/emacs.texi index 533955bfa85..5bdaecb2dde 100644 --- a/man/emacs.texi +++ b/man/emacs.texi | |||
| @@ -1586,12 +1586,7 @@ Public License instead of this License. | |||
| 1586 | 1586 | ||
| 1587 | @include doclicense.texi | 1587 | @include doclicense.texi |
| 1588 | @include cmdargs.texi | 1588 | @include cmdargs.texi |
| 1589 | @iftex | ||
| 1590 | @include xresmini.texi | ||
| 1591 | @end iftex | ||
| 1592 | @ifnottex | ||
| 1593 | @include xresources.texi | 1589 | @include xresources.texi |
| 1594 | @end ifnottex | ||
| 1595 | 1590 | ||
| 1596 | @include anti.texi | 1591 | @include anti.texi |
| 1597 | @include macos.texi | 1592 | @include macos.texi |