diff options
Diffstat (limited to 'doc/openjade/PRE_BUILD')
-rwxr-xr-x | doc/openjade/PRE_BUILD | 4 |
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 + |