Fixed info-markup bugs; makeinfo now succeeds with no complaints.

This commit is contained in:
Roland Pesch 1991-10-05 01:49:09 +00:00
parent 4677309015
commit 2c5c06749f

File diff suppressed because it is too large Load diff