diff options
| author | David Aspinall | 1999-06-30 18:08:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-30 18:08:47 +0000 |
| commit | 0b75954e853c705fd33ca6464dc2d324ce62641d (patch) | |
| tree | b300114933f074de9b3b01d95a5124ab13629d61 /Makefile.devel | |
| parent | bf86c4d2fdf9c24061d4a125218be83c6b034556 (diff) | |
topdir stuff broken, to be fixed.
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 c2baf35f..e5b9a3e7 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -350,7 +350,7 @@ release: distclean tag dist develdist rpm: rm -rf $(RPMTOPDIR) mkdir -p $(RPMTOPDIR) $(RPMTOPDIR)/BUILD $(RPMTOPDIR)/SOURCES $(RPMTOPDIR)/SRPMS $(RPMTOPDIR)/RPMS $(RPMTOPDIR)/RPMS/noarch -# echo "_rpmdir: $(RPMTOPDIR)" > $(RPMRC) + echo "_topdir: $(RPMTOPDIR)" > $(RPMRC) cp -p etc/ProofGeneral.patch $(RPMTOPDIR)/SOURCES cp -p $(DISTBUILDIR)/$(RELEASENAMETARGZ) $(RPMTOPDIR)/SOURCES $(RPM) -ba etc/ProofGeneral.spec |