diff options
| -rwxr-xr-x | Doc/tools/makesec.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/tools/makesec.sh b/Doc/tools/makesec.sh index 5ef4c3c..6159d6f 100755 --- a/Doc/tools/makesec.sh +++ b/Doc/tools/makesec.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Simple little checker for individual libref manual sections # @@ -126,4 +126,4 @@ $converter lib $viewer lib.pdf rm -f $tmpf howto.cls pypaper.sty *.idx *.syn -rm -f lib.{aux,log} +rm -f lib.aux lib.log |