diff options
| author | David Aspinall | 1998-10-27 12:35:38 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-27 12:35:38 +0000 |
| commit | 6fa68bc76e88ef77a13073e25cf5fc9541d80363 (patch) | |
| tree | ad2ecba6ce4d53cb6ed85568242ce3b614b73d8b /Makefile | |
| parent | 675c9b609046fb3f40e96ee68decc2d178375216 (diff) | |
Added devel targets for convenience
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -8,6 +8,9 @@ ## ## make compile ## +## $Id$ +## +########################################################################### ELISP_DIRS = generic lego coq isa @@ -53,3 +56,17 @@ clean: rm -f $(ELC) +## +## Targets defined in developer's makefile Makefile.devel, +## linked here for convenience. +## + +release: + make -f Makefile.devel releaseall +distinstall: + make -f Makefile.devel distinstall + + + + + |