clarify that DNS list domains are not mail domains
[users/jgh/exim.git] / doc / doc-scripts / BuildInfo
1 #! /bin/sh
2 # $Cambridge: exim/doc/doc-scripts/BuildInfo,v 1.1 2004/10/07 15:04:35 ph10 Exp $
3
4 if [ "$1" = "filter" ]; then
5 g2t -filter filter.src >filter.texinfo
6 if [ $? != 0 ]; then exit 1; fi
7 cd info
8 makeinfo filter.texinfo
9 if [ $? != 0 ]; then exit 1; fi
10 echo ""
11 echo info filter.info
12 echo ""
13 info -f ./filter.info
14 exit
15 fi
16
17 if [ "$1" = "" ]; then
18 g2t spec.src >spec.texinfo
19 if [ $? != 0 ]; then exit 1; fi
20 cd info
21 makeinfo spec.texinfo
22 if [ $? != 0 ]; then exit 1; fi
23 echo ""
24 echo info spec.info
25 echo ""
26 info -f ./spec.info
27 exit
28 fi
29
30 echo "***Usage: null or filter argument required"
31
32 ####