X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=maketxts.sh;h=f6a1dbbdd68c1ae336d398c411f956b3d1b9d13c;hb=refs%2Fheads%2Fmaster;hp=4cc132dde386e99bacf5a0b7d0cec64f6caf0c3d;hpb=c6b782134cc714f660c0777e802446d5c6553b7c;p=pygost.git diff --git a/maketxts.sh b/maketxts.sh index 4cc132d..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 < $texi <