diff options
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/mkLinks | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/unix/mkLinks b/unix/mkLinks index d58b06c..0b91246 100644 --- a/unix/mkLinks +++ b/unix/mkLinks @@ -15,8 +15,6 @@ # The script takes one argument, which is the name of the directory # where the manual entries have been installed. -S="" - ZIP=true while true; do case $1 in @@ -176,12 +174,10 @@ if test -r ConfigWidg.3; then rm -f ConfigWidg.3.* $ZIP ConfigWidg.3 rm -f Tk_ConfigureWidget.3 Tk_ConfigureWidget.3.* - rm -f Tk_Offset.3 Tk_Offset.3.* rm -f Tk_ConfigureInfo.3 Tk_ConfigureInfo.3.* rm -f Tk_ConfigureValue.3 Tk_ConfigureValue.3.* rm -f Tk_FreeOptions.3 Tk_FreeOptions.3.* ln $S ConfigWidg.3$Z Tk_ConfigureWidget.3$Z - ln $S ConfigWidg.3$Z Tk_Offset.3$Z ln $S ConfigWidg.3$Z Tk_ConfigureInfo.3$Z ln $S ConfigWidg.3$Z Tk_ConfigureValue.3$Z ln $S ConfigWidg.3$Z Tk_FreeOptions.3$Z |