diff options
Diffstat (limited to 'Tools/portbuild/scripts/makeindex')
| -rwxr-xr-x | Tools/portbuild/scripts/makeindex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex index 060b2b865968..1a9313c3ea31 100755 --- a/Tools/portbuild/scripts/makeindex +++ b/Tools/portbuild/scripts/makeindex @@ -46,6 +46,10 @@ case "x$1" in branch=6 INDEXFILE=INDEX-6 ;; + x7) + branch=7 + INDEXFILE=INDEX-7 + ;; *) usage ;; |