diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 19:32:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 19:32:02 +0000 |
| commit | f10a71524cf77176ac749bdd599a67e3cc221f0b (patch) | |
| tree | f2359491ff497de63ea887f4d663b399838c1f20 /Makefile.devel | |
| parent | 308f654cd43dd6c00745acba03c4bd77b8d89f33 (diff) | |
Added install to distall target
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 32cb30e5..5c577b16 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -339,7 +339,7 @@ releaseall: release rpmrelease releaseclean ## distinstall: ## Do everything for a local release. ## -distall: distclean tag dist distclean +distall: distclean tag dist distinstall distclean |