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