diff options
| -rwxr-xr-x | packaging/SGI/mkrelease.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packaging/SGI/mkrelease.sh b/packaging/SGI/mkrelease.sh index 03644b2f7c..052a4d8ddb 100755 --- a/packaging/SGI/mkrelease.sh +++ b/packaging/SGI/mkrelease.sh @@ -8,6 +8,7 @@ echo Making manual pages # build the sources # echo Making binaries +./makefile.pl ../../source/Makefile > Makefile cd ../../source # make -f ../packaging/SGI/Makefile clean make -f ../packaging/SGI/Makefile all |