808a36ef65
This will make a number of things easier in the future, as well as (finally!) avoiding the Id-smashing problem which has plagued developers for so long. Boy, I'm glad we're not using sup anymore. This update would have been insane otherwise. |
||
---|---|---|
.. | ||
deref.c | ||
fixfonts | ||
gen-dir-node | ||
install-info.c | ||
Makefile.in | ||
mkinstalldirs | ||
tex3patch | ||
texi2dvi | ||
texindex.c |