Fix THANKS generation

diff --git a/makedist.sh b/makedist.sh
index 0e9ec01762ef05516dbdde9c73f8fb85ca4d9953..ac2b83738135e6381b6c189e9f4e706cc5d13fe4 100755 (executable)
--- a/makedist.sh
+++ b/makedist.sh
@@ -53,7 +53,7 @@ cat > $texi <<EOF
 \input texinfo
 @documentencoding UTF-8
 @settitle THANKS
-`cat doc/thanks.texi`
+`cat thanks.texi`
 @bye
 EOF
 mkinfo --output THANKS $texi