Changes for Texinfo 3.8 release; see ChangeLog.
commit359a1d0b5f4caea7dade3b758ec237c3dbc1dc56
authorKarl Berry <karl@gnu.org>
Mon, 30 Sep 1996 17:39:54 +0000 (30 17:39 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 30 Sep 1996 17:39:54 +0000 (30 17:39 +0000)
treea4fcecf5b40a20d799c2ead26f3b4db335e9396b
parentd68171edce96cb59b5cb869f6a82afcc50db00be
Changes for Texinfo 3.8 release; see ChangeLog.
manual/texinfo.tex