X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=makedist.sh;h=aa647f4d9cf2422eda9fc6c235f4741707ff9c2e;hb=fed124f1460226ab037657bac5717bdb49bf6b78;hp=b169b2f5c80595dd182c5f938430d34b572eee67;hpb=f04393c9156a45e308efbae798aeba5c5852da8f;p=goredo.git diff --git a/makedist.sh b/makedist.sh index b169b2f..aa647f4 100755 --- a/makedist.sh +++ b/makedist.sh @@ -21,8 +21,7 @@ EOF mkinfo() { ${MAKEINFO:-makeinfo} --plaintext \ - --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ - --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ + --set-customization-variable ASCII_PUNCTUATION=1 \ -D "VERSION `cat ../VERSION`" $@ } @@ -33,7 +32,6 @@ cat > $texi <