Remove text files from makefile, I'm an idiot.

(cherry picked from commit b688daac64b11e020678cdf3369f7d030c7289f9)

diff --git a/Documentation/user/GNUmakefile b/Documentation/user/GNUmakefile
index 60e16bbd12df5651d3b5eeb4d1d3c4492a4bc2ae..d928f283758247672d00d44455b9b4b0d46de540 100644 (file)
--- a/Documentation/user/GNUmakefile
+++ b/Documentation/user/GNUmakefile
@@ -4,7 +4,7 @@ LATEX_FILES =$(call src-wildcard,*.latex)
 
 
 EXTRA_DIST_FILES = $(LATEX_FILES) $(IMAGES) $(EPS_ILLUSTRATIONS)
-EXTRA_DIST_FILES += README.txt writing-texinfo.txt policy.txt writing-sections.txt
+EXTRA_DIST_FILES += README.txt
 
 IMAGES=$(call src-wildcard,*.png)
 EPS_ILLUSTRATIONS=context-example.eps