summaryrefslogtreecommitdiffstats
path: root/doc/openjade/PRE_BUILD
diff options
context:
space:
mode:
Diffstat (limited to 'doc/openjade/PRE_BUILD')
-rwxr-xr-xdoc/openjade/PRE_BUILD4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/openjade/PRE_BUILD b/doc/openjade/PRE_BUILD
index dfddac3e37..645e391f70 100755
--- a/doc/openjade/PRE_BUILD
+++ b/doc/openjade/PRE_BUILD
@@ -4,4 +4,6 @@ patch $SOURCE_DIRECTORY/style/MultiLineInlineNote.cxx \
cd $SOURCE_DIRECTORY &&
-patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-gcc-4.6-1.patch
+patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-gcc-4.6-1.patch &&
+patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-msggen.pl.patch
+