diff options
author | jkh <jkh@FreeBSD.org> | 1994-10-03 04:11:28 +0800 |
---|---|---|
committer | jkh <jkh@FreeBSD.org> | 1994-10-03 04:11:28 +0800 |
commit | 741c1d699ce96dc2f5ea64f794e2c8ed9014e285 (patch) | |
tree | c507299ba48e8105cd6d3197c51a76f6b783d120 /print/texinfo/pkg-descr | |
parent | 1affcc7b8f7b60665a5d404a2348037e4937bd11 (diff) | |
download | freebsd-ports-gnome-741c1d699ce96dc2f5ea64f794e2c8ed9014e285.tar.gz freebsd-ports-gnome-741c1d699ce96dc2f5ea64f794e2c8ed9014e285.tar.zst freebsd-ports-gnome-741c1d699ce96dc2f5ea64f794e2c8ed9014e285.zip |
This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo).
Submitted by: jmz
Diffstat (limited to 'print/texinfo/pkg-descr')
-rw-r--r-- | print/texinfo/pkg-descr | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/print/texinfo/pkg-descr b/print/texinfo/pkg-descr new file mode 100644 index 000000000000..8c40af0abb93 --- /dev/null +++ b/print/texinfo/pkg-descr @@ -0,0 +1,15 @@ +Texinfo is a documentation system that uses a single source file to +produce both on-line information and printed output. This means that +instead of writing two different documents, one for the on-line help +or other on-line information and the other for a typeset manual or +other printed work, you need write only one document. When the work +is revised, you need revise only one document. You can read the +on-line information, known as an "Info file", with an Info +documentation-reading program. By convention, Texinfo source file +names end with a `.texi' or `.texinfo' extension. Texinfo is +described in the Texinfo Manual. +You can write and format Texinfo files into Info files within GNU +Emacs, and read them using the Emacs Info reader. If you do not have +Emacs, you can format Texinfo files into Info files using `makeinfo' +and read them using `info'. Use TeX, which is not included in this +package, to typeset Texinfo files for printing. |