Follow-up to the switch to Doxygen. Remove references to doc_tex

2013-08-21 12:27:40 +02:00
parent cdd0756884
commit 7e840c8ec9
3 changed files with 4 additions and 3 deletions
@@ -352,7 +352,8 @@ rm -rf ${release_name}
 rm ${release_name}.tar.gz
 if [ -n "$DO_PUBLIC" ]; then
  rm -rf  ${public_release_name}-NSIS
-  rm -rf doc_tex 
+  rm -rf doc
+#  rm -rf doc_tex
  rm -rf doc_html
  rm  ${public_release_name}.tar.gz ${public_release_name}.zip
 fi