diff options
Diffstat (limited to 'gnu/packages/texinfo.scm')
| -rw-r--r-- | gnu/packages/texinfo.scm | 18 |
1 files changed, 5 insertions, 13 deletions
diff --git a/gnu/packages/texinfo.scm b/gnu/packages/texinfo.scm index 8191bfd64a..dc41cc4330 100644 --- a/gnu/packages/texinfo.scm +++ b/gnu/packages/texinfo.scm @@ -43,17 +43,9 @@ (home-page "http://www.gnu.org/software/texinfo/") (synopsis "The GNU documentation format") (description - "Texinfo is the official documentation format of the GNU project. -It was invented by Richard Stallman and Bob Chassell many years -ago, loosely based on Brian Reid's Scribe and other formatting -languages of the time. It is used by many non-GNU projects as -well. - -Texinfo uses a single source file to produce output in a number -of formats, both online and printed (dvi, html, info, pdf, xml, -etc.). This means that instead of writing different documents -for online information and another for a printed manual, you -need write only one document. And when the work is revised, you -need revise only that one document. The Texinfo system is -well-integrated with GNU Emacs.") + "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.") (license gpl3+))) |