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