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-comment | |
| 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-comment')
| -rw-r--r-- | print/texinfo/pkg-comment | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/print/texinfo/pkg-comment b/print/texinfo/pkg-comment new file mode 100644 index 000000000000..898a3598c826 --- /dev/null +++ b/print/texinfo/pkg-comment @@ -0,0 +1 @@ +texinfo: typeset Texinfo files for printing. Uses TeX. |