diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:26:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:26:49 +0000 |
| commit | a5b7c93c41d19c6448d189a06118c41c7e629167 (patch) | |
| tree | f70d23878e3fb1f98d8b8b3a6171d504fb2219af | |
| parent | d0e4829ebc24314e458a198e62ac4d74dfca22b7 (diff) | |
twelf and acl2 are in ordinary dist
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 229e9d4a..6002708f 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -141,7 +141,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/ twelf/ +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/ # Files not to include in the ordinary distribution tarball, but left # in the server's copy of the distribution. |