wosch 000fb64288 delete doubled words, e.g.: "the the" -> "the"

1996-10-05 22:27:30 +00:00

..

doc

…

info

delete doubled words, e.g.: "the the" -> "the"

1996-10-05 22:27:30 +00:00

info-files

Fixed bogus obj target (found by objwarn check).

1996-09-20 18:04:26 +00:00

makedoc

…

makeinfo

…

misc

…

texindex

…

Makefile

…

Makefile.inc

…