| 1 | #! /bin/sh |
| 2 | |
| 3 | if [ "$1" = "filter" ]; then |
| 4 | g2t -filter filter.src >filter.texinfo |
| 5 | if [ $? != 0 ]; then exit 1; fi |
| 6 | cd info |
| 7 | makeinfo filter.texinfo |
| 8 | if [ $? != 0 ]; then exit 1; fi |
| 9 | echo "" |
| 10 | echo info filter.info |
| 11 | echo "" |
| 12 | info -f ./filter.info |
| 13 | exit |
| 14 | fi |
| 15 | |
| 16 | if [ "$1" = "" ]; then |
| 17 | g2t spec.src >spec.texinfo |
| 18 | if [ $? != 0 ]; then exit 1; fi |
| 19 | cd info |
| 20 | makeinfo spec.texinfo |
| 21 | if [ $? != 0 ]; then exit 1; fi |
| 22 | echo "" |
| 23 | echo info spec.info |
| 24 | echo "" |
| 25 | info -f ./spec.info |
| 26 | exit |
| 27 | fi |
| 28 | |
| 29 | echo "***Usage: null or filter argument required" |
| 30 | |
| 31 | #### |