X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=maketxts.sh;h=f6a1dbbdd68c1ae336d398c411f956b3d1b9d13c;hb=refs%2Fheads%2Fmaster;hp=b55ce816d73e4a6e1c5e62aef1deabdb95ba0202;hpb=c80c7551777aaf4deb880b108870e6f889034a53;p=pygost.git diff --git a/maketxts.sh b/maketxts.sh index b55ce81..f6a1dbb 100755 --- a/maketxts.sh +++ b/maketxts.sh @@ -1,5 +1,11 @@ #!/bin/sh -ex +mkinfo() { + ${MAKEINFO:-makeinfo} --plaintext \ + --set-customization-variable ASCII_PUNCTUATION=1 \ + -D "VERSION `cat VERSION`" $@ +} + texi=$(mktemp) cat > $texi < $texi < download.texi < $texi < $texi <