Ruslan Ermilov 58faf4d04b New install-info(1) correctly fails to install ENTRY for file FOO ...

if ENTRY already exists for file FOO2 in /usr/share/info/dir.

So, re-init /usr/share/info/dir unconditionally at installworld.

2000-01-19 19:18:50 +00:00

..

dir-tmpl

…

Makefile

New install-info(1) correctly fails to install ENTRY for file FOO

2000-01-19 19:18:50 +00:00