From 4b7c3e28b8696caac4acfe7baebc8b5807ab7a2d Mon Sep 17 00:00:00 2001 From: Stein Magnus Jodal Date: Sat, 6 Feb 2010 00:39:05 +0100 Subject: [PATCH] Update 'make public' to not die on missing _images dir --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 8b70019c..a009cac4 100644 --- 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 *