Dist documentation text file too.

diff --git a/Documentation/user/GNUmakefile b/Documentation/user/GNUmakefile
index dfa4342c9ecffeb17db89991f15369ac5f278e80..d5ef01202c23897b98f845037f258c2b44cf87a2 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
+EXTRA_DIST_FILES += README.txt writing-texinfo.txt policy.txt writing-sections.txt
 
 IMAGES=$(call src-wildcard,*.png)
 EPS_ILLUSTRATIONS=context-example.eps