Fix 'make doc-publish' for when run twice on the same day

This commit is contained in:
Carl Worth 2008-02-28 14:36:32 -08:00
parent 8d515344c4
commit fbd29a4025

View file

@ -236,6 +236,7 @@ release-publish-message: releases/$(sha1_file)
release-publish: release-upload release-publish-message
doc-publish: doc
rm -rf ./$(MANUAL_DATED)
cp -a doc/public/html $(MANUAL_DATED)
tar czf $(MANUAL_TAR_FILE) $(MANUAL_DATED)
scp $(MANUAL_TAR_FILE) $(RELEASE_UPLOAD_HOST):$(MANUAL_UPLOAD_DIR)