Commit | Line | Data |
---|---|---|
495ae4b0 | 1 | #! /bin/sh |
495ae4b0 PH |
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 | #### |