diff options
| author | David Aspinall | 1999-11-22 19:41:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 19:41:09 +0000 |
| commit | b9f1a33312f3d8253c34800f6fb498cbd8bf623c (patch) | |
| tree | 9633c0e2ed91a7220d95928a63e44ef84b0ff4a8 | |
| parent | 8a58b6d1f71a0563549d7f85b46f2c9c2d0b759d (diff) | |
*Do* deref links again when copying doc.
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 92878129..c16a8e7a 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -299,7 +299,7 @@ dist: @echo "*************************************************" @echo " Copying doc files .." @echo "*************************************************" - (cp -pdr $(DISTBUILDIR)/$(RELEASENAME)/doc $(DISTBUILDIR)) + (cp -pr $(DISTBUILDIR)/$(RELEASENAME)/doc $(DISTBUILDIR)) @echo "*************************************************" @echo " Moving html files .." @echo "*************************************************" |