diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-12-01 22:33:23 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-12-01 22:33:23 +0100 |
commit | 79c311b81cd8b12075f4c8028a65787481ee40c5 (patch) | |
tree | 7fed0959acc6c75a7ad84c18fa4f7bdc83dfbc84 /gnu/packages/texinfo.scm | |
parent | e6a9aa366efb55f8556dd55b8fb6869d40c1d387 (diff) | |
download | patches-79c311b81cd8b12075f4c8028a65787481ee40c5.tar patches-79c311b81cd8b12075f4c8028a65787481ee40c5.tar.gz |
gnu: Synchronize descriptions with 'gnumaint'.
Diffstat (limited to 'gnu/packages/texinfo.scm')
-rw-r--r-- | gnu/packages/texinfo.scm | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/texinfo.scm b/gnu/packages/texinfo.scm index dc41cc4330..7c753a7cf6 100644 --- a/gnu/packages/texinfo.scm +++ b/gnu/packages/texinfo.scm @@ -44,8 +44,9 @@ (synopsis "The GNU documentation format") (description "Texinfo is the official documentation format of the GNU project. It -uses a single source file containing TeX-like formatting commands to produce -a final document in any of several supported output formats, such as HTML or -PDF. This package includes both the tools necessary to produce info -documents from their source as well as the command- line info reader.") +uses a single source file using explicit commands to produce a final document +in any of several supported output formats, such as HTML or PDF. This +package includes both the tools necessary to produce Info documents from +their source and the command-line Info reader. The emphasis of the language +is on expressing the content semantically, avoiding physical markup commands.") (license gpl3+))) |