[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
texi2dvi: second try
From: |
Werner LEMBERG |
Subject: |
texi2dvi: second try |
Date: |
Wed, 21 Mar 2001 09:56:35 +0100 (CET) |
Here a fixed version of my patch.
Werner
======================================================================
--- /usr/bin/texi2dvi Tue May 9 01:00:47 2000
+++ texi2dvi Wed Mar 21 09:53:06 2001
@@ -205,14 +205,23 @@
s/address@hidden texi2dvi//
}
}
-/address@hidden/,/address@hidden html/d
-/address@hidden/,/address@hidden ifhtml/d
-/address@hidden/,/address@hidden ifnottex/d
+/address@hidden/,/address@hidden html/{
+ s/^/@c (texi2dvi)/
+}
+/address@hidden/,/address@hidden ifhtml/{
+ s/^/@c (texi2dvi)/
+}
+/address@hidden/,/address@hidden ifnottex/{
+ s/^/@c (texi2dvi)/
+}
/address@hidden/,/address@hidden ifinfo/{
/address@hidden/p
/address@hidden/,/address@hidden menu/p
- d
+ t
+ s/^/@c (texi2dvi)/
}
+s/address@hidden/@c address@hidden/
+s/address@hidden ifnotinfo/@c address@hidden ifnotinfo/
EOF
# Uncommenting is simple: Remove any leading address@hidden texi2dvi'.
uncomment_iftex_sed=$utildir/uncomment.sed
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- texi2dvi: second try,
Werner LEMBERG <=