diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0331cd10..85d44fb4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -10,8 +10,8 @@ ########################################################################### ## ## Use: -## make info,dvi,pdf,html - build respective docs from texi source. -## make doc - make default kinds of doc (dvi, info). +## make info,pdf,html - build respective docs from texi source. +## make doc - make default kinds of doc (, info). ## ########################################################################### |