Jordan K. Hubbard 4c2ca10b5d This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo). ... Submitted by: jmz		1994-10-02 20:11:28 +00:00
..
Makefile	This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo).	1994-10-02 20:11:28 +00:00
pkg-comment	This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo).	1994-10-02 20:11:28 +00:00
pkg-descr	This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo).	1994-10-02 20:11:28 +00:00
pkg-plist	This is for texinfo printing (not in /usr/src/gnu/usr.bin/texinfo).	1994-10-02 20:11:28 +00:00