makedist.sh | 2 +- diff --git a/makedist.sh b/makedist.sh index 8559c364b3d59ad30908d4e3b7f9b60db80d49ddaf45067acb200ca81113b603..51fc82d6f73f7480f048ea9dfc21179d666c290ef4bf4d20183443e4f84abfa7 100755 --- a/makedist.sh +++ b/makedist.sh @@ -53,7 +53,7 @@ cat > $texi <