Update push.sh

akarnokd · web-flow · commit 40728d7590fb · 2021-12-16T17:45:39.000+01:00
diff --git a/push.sh b/push.sh
@@ -38,6 +38,7 @@ git checkout -b gh-pages origin-pages/gh-pages
 # remove old dir
 rm -rf javadoc
 
+ls ./build/docs
 # copy and overwrite new doc
 yes | cp -rfv ./build/docs/javadoc/ javadoc/
 
