mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-23 00:09:52 +08:00
…
|
||
---|---|---|
.. | ||
deref.c | ||
fixfonts | ||
gen-dir-node | ||
install-info.c | ||
Makefile.am | ||
Makefile.in | ||
mkinstalldirs | ||
README | ||
tex3patch | ||
texi2dvi | ||
texindex.c | ||
update-info |
Assorted Texinfo-related programs and scripts. texindex, texi2dvi, and install-info get installed. The other items here are for your amusement and/or hacking pleasure.