Update 'make public' to not die on missing _images dir

2010-02-06 00:39:05 +01:00 · 2010-02-06 00:39:05 +01:00 · 4b7c3e28b8
commit 4b7c3e28b8
parent 01cc3fe96e
1 changed files with 1 additions and 1 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -99,6 +99,6 @@ public: clean html
 	    (find . -type f | xargs sed -i -e 's/_sources/sources/g') && \
 	    mv _static static && \
 	    (find . -type f | xargs sed -i -e 's/_static/static/g') && \
-	    mv _images images && \
+	    if [ -d _images ]; then mv _images images; fi && \
 	    (find . -type f | xargs sed -i -e 's/_images/images/g') && \
 	    git add *