diff options
| -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 "*************************************************" |