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