--- dvipng-0.7/dvipng.texi.orig 2003-10-17 11:48:25.000000000 +0200 +++ dvipng-0.7/dvipng.texi 2003-10-20 21:40:16.425426232 +0200 @@ -16,10 +16,10 @@ @tolerance 10000 @emergencystretch 3em @end iftex -@dircategory TeX +@dircategory TeX: @direntry -* DVI-to-PNG: (dvipng). Translating TeX DVI files to Portable Network Graphics (PNG). -* dvipng: (dvipng)Invoking dvipng. DVI-to-PNG translator. +* DVI-to-PNG: (dvipng). Translating TeX DVI files to PNG +* dvipng: (dvipng)dvipng. DVI-to-PNG translator @end direntry @finalout