diff options
Diffstat (limited to '')
-rw-r--r-- | print/texinfo/pkg-comment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print/texinfo/pkg-comment b/print/texinfo/pkg-comment index 898a3598c826..3bf3ded6d7f0 100644 --- a/print/texinfo/pkg-comment +++ b/print/texinfo/pkg-comment @@ -1 +1 @@ -texinfo: typeset Texinfo files for printing. Uses TeX. +Typeset Texinfo files for printing. Uses TeX. |