diff options
| author | David Aspinall | 2000-09-25 17:52:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-25 17:52:25 +0000 |
| commit | 9ec66045464742459fa3cb4c4bbe84888fd31a0b (patch) | |
| tree | 3e6dd89499628c4b62faedfad0e12f45e18307f8 | |
| parent | b80afc738a5fb5d65d1cfd6264cf66a273b09b7f (diff) | |
Remove twelf from .tar.gz
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index ce3a2891..f60e64bc 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -137,7 +137,7 @@ ZIP=zip DEVELMAKE=make -f Makefile.devel # Files not to include the distribution area or tarball -NONDISTFILES=.cvsignore */.cvsignore html etc Makefile.devel Makefile.xemacs doc/notes.txt doc/ProofGeneral.dvi doc/ProofGeneralPortrait.eps* images/*.xcf images/notes.txt images/gimp images/Makefile plastic/ +NONDISTFILES=.cvsignore */.cvsignore html etc Makefile.devel Makefile.xemacs doc/notes.txt doc/ProofGeneral.dvi doc/ProofGeneralPortrait.eps* images/*.xcf images/notes.txt images/gimp images/Makefile plastic/ twelf/ # Files not to include in the ordinary distribution tarball, but left # in the server's copy of the distribution. |