diff --git a/Makefile.am b/Makefile.am
index 443b6ee31..4444df17f 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -57,4 +57,4 @@ EXTRA_DIST = ${EXTRA_SUBDIRS} \
 ChangeLog \
 djgpp.bat djgpp.sh \
 autogen.sh cygconf \
-cvshowto.txt readme.txt license.txt thinking.txt installation.txt mingw32.txt compilerdefs.txt
+cvshowto.txt readme.txt license.txt installation.txt mingw32.txt compilerdefs.txt