diff options
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/portbuild/scripts/makeindex | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex index 89f574b65561..a17892a73dba 100755 --- a/Tools/portbuild/scripts/makeindex +++ b/Tools/portbuild/scripts/makeindex @@ -26,14 +26,6 @@ if [ $# != 1 ]; then fi case "x$1" in - x4) - branch=4 - INDEXFILE=INDEX - ;; - x4-exp) - branch=4-exp - INDEXFILE=INDEX - ;; x5) branch=5 INDEXFILE=INDEX-5 |