diff options
Diffstat (limited to 'textproc/xmlada')
| -rw-r--r-- | textproc/xmlada/Makefile | 2 | ||||
| -rw-r--r-- | textproc/xmlada/files/patch-ab | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/textproc/xmlada/Makefile b/textproc/xmlada/Makefile index f4aa1324fabd..0ecbe7c33cf6 100644 --- a/textproc/xmlada/Makefile +++ b/textproc/xmlada/Makefile @@ -7,7 +7,7 @@ PORTNAME= xmlada PORTVERSION= 0.7.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= textproc MASTER_SITES= http://libre.act-europe.fr/xmlada/ DISTNAME= XmlAda-${PORTVERSION} diff --git a/textproc/xmlada/files/patch-ab b/textproc/xmlada/files/patch-ab new file mode 100644 index 000000000000..9a9287433f59 --- /dev/null +++ b/textproc/xmlada/files/patch-ab @@ -0,0 +1,11 @@ +--- docs/texiplus.tex.orig Tue Dec 28 09:29:03 2004 ++++ docs/texiplus.tex Tue Dec 28 09:29:33 2004 +@@ -240,8 +240,6 @@ + \global\pageheight=\vsize + + \global\let\smalllisp=\smalllispx +-\global\let\smallexample=\smalllispx +-\global\def\Esmallexample{\Esmalllisp} + }\textfonts + + \globaldefs=0 % this is NOT redundant; the \endgroup done by@end tex |