diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 19:43:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 19:43:08 +0000 |
| commit | c6c85f76eb7a7a83a9e146d8fadc5c3040e1e1f7 (patch) | |
| tree | a33e96815501f0664569891290cc70fb529d5759 /Makefile.devel | |
| parent | b9f1a33312f3d8253c34800f6fb498cbd8bf623c (diff) | |
Instead, remove doc/ from top-level of distdir.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index c16a8e7a..ee13741f 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -297,9 +297,9 @@ dist: (cd $(DISTBUILDIR)/$(RELEASENAME); $(DEVELMAKE) alldist) (cd $(DISTBUILDIR)/$(RELEASENAME); $(DEVELMAKE) clean) @echo "*************************************************" - @echo " Copying doc files .." - @echo "*************************************************" - (cp -pr $(DISTBUILDIR)/$(RELEASENAME)/doc $(DISTBUILDIR)) +# @echo " Copying doc files .." +# @echo "*************************************************" +# (cp -pr $(DISTBUILDIR)/$(RELEASENAME)/doc $(DISTBUILDIR)) @echo "*************************************************" @echo " Moving html files .." @echo "*************************************************" |