diff options
| -rw-r--r-- | man/doclicense.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/doclicense.texi b/man/doclicense.texi index 78ec35f5aab..b35cbc329f5 100644 --- a/man/doclicense.texi +++ b/man/doclicense.texi | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | @c -*-texinfo-*- | 1 | @c -*-texinfo-*- |
| 2 | @node GNU Free Documentation License, Command Arguments, Copying, Top | 2 | @node GNU Free Documentation License, Command Line, Copying, Top |
| 3 | @appendix GNU Free Documentation License | 3 | @appendix GNU Free Documentation License |
| 4 | @center Version 1.1, March 2000 | 4 | @center Version 1.1, March 2000 |
| 5 | 5 | ||