Dist: add non-distributed file.

diff --git a/Documentation/es/GNUmakefile b/Documentation/es/GNUmakefile
index 55be27637fe6117b8f9404619bf2ba795faf1252..35e89511272b9e3a3692ff7834a3ea2ff99320e2 100644 (file)
--- a/Documentation/es/GNUmakefile
+++ b/Documentation/es/GNUmakefile
@@ -6,4 +6,6 @@ LOCALSTEPMAKE_TEMPLATES = lilypond ly doc-i18n-root
 
 UNSPLITTED_HTML_MANUALS = changes
 
+EXTRA_DIST_FILES = web.texi
+
 include $(depth)/make/stepmake.make