mirror of
https://github.com/freebsd/freebsd-src.git
synced 2024-11-30 21:43:34 +00:00
7ee74e7be8
--forceentry=TEXT will override any entries contained in the info file. Second, I made it recognize that "gmp" and "gmp.info" are the same when looking for whether the info file being installed is already installed. |
||
---|---|---|
.. | ||
deref.c | ||
fixfonts | ||
gen-dir-node | ||
install-info.c | ||
Makefile.in | ||
mkinstalldirs | ||
tex3patch | ||
texi2dvi | ||
texindex.c |