diff options
| -rwxr-xr-x | makerelease | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/makerelease b/makerelease index 8d91b22e..637edb07 100755 --- a/makerelease +++ b/makerelease @@ -97,4 +97,9 @@ system("chown esr RELEASE.NOTES"); unlink("PREAMBLE.$$"); unlink("DIFFS.$$"); +print "Building index page...\n" +system "indexgen.sh $version" + +print "Done\n"; + # makerelease ends here |