aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Aspinall1998-09-24 17:41:16 +0000
committerDavid Aspinall1998-09-24 17:41:16 +0000
commitbd14e2192fc7a64984479d55a79faabea82b59f1 (patch)
tree2d183460daf85faaac7d2d855250fac14d3c2317
parentc271973d25e88736761b708183ac9ee8445ddaa5 (diff)
Removed xcf files and image notes from distrib.
-rw-r--r--Makefile.devel2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel
index 9b5dbb8e..7cf7bf30 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -47,7 +47,7 @@ EMACS=xemacs
# Files not to include the distribution area or tarball
-NONDISTFILES=todo html etc Makefile doc/Makefile
+NONDISTFILES=todo html etc Makefile doc/Makefile images/*.xcf images/notes.txt
# Files not to include in the distribution tarball
IGNOREDFILES=doc/ProofGeneral.dvi