From 1096038100c7dee8f24c68e558f6c54f75fb0c0d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Adam=20Go=C5=82=C4=99biowski?= Date: Tue, 1 Jun 2004 08:06:38 +0000 Subject: [PATCH] - updated to 1.1 Changed files: dvipng-info.patch -> 1.2 --- dvipng-info.patch | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/dvipng-info.patch b/dvipng-info.patch index f5d3f05..45b464c 100644 --- a/dvipng-info.patch +++ b/dvipng-info.patch @@ -1,6 +1,7 @@ ---- 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 @@ +diff -burN dvipng-1.1.orig/dvipng.texi dvipng-1.1/dvipng.texi +--- dvipng-1.1.orig/dvipng.texi 2004-06-01 10:00:46.775193768 +0200 ++++ dvipng-1.1/dvipng.texi 2004-06-01 10:01:56.697563952 +0200 +@@ -23,10 +23,10 @@ @tolerance 10000 @emergencystretch 3em @end iftex @@ -8,9 +9,9 @@ +@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 +-* 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 -- 2.44.0