Description of patch:
----------------------
Some whitespace optimizations in the TeX documentation.
--
---> Dirk Jagdmann ^ doj / cubic
----> http://cubic.org/~doj
-----> http://llg.cubic.org
----------------------
Some whitespace optimizations in the TeX documentation.
--
---> Dirk Jagdmann ^ doj / cubic
----> http://cubic.org/~doj
-----> http://llg.cubic.org