diff options
| -rw-r--r-- | Makefile.devel | 2 |
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 |