@direntry
-* DVI-to-PNG: (dvipng). Translating TeX DVI files to Portable Network Graphics (PNG).
-* dvipng: (dvipng). A DVI-to-PNG translator.
-+* DVI-to-PNG: (dvipng). Translating TeX DVI files to PNG
-+* dvipng: (dvipng). A DVI-to-PNG translator
++* DVI-to-PNG: (dvipng). Translating TeX DVI files to PNG
++* dvipng: (dvipng). A DVI-to-PNG translator
@end direntry
@finalout