comment fix

[runtime.git] / scripts / silcdoc / silcdoc

diff --git a/scripts/silcdoc/silcdoc b/scripts/silcdoc/silcdoc
index bf5069aab9e603f46729d76d1ed206a4727ce566..6c3ed1785c43c3967b3b97b9ccd84ec7c95c6264 100755 (executable)
--- a/scripts/silcdoc/silcdoc
+++ b/scripts/silcdoc/silcdoc
@@ -77,7 +77,7 @@ if [ "$TYPE" = "PS" ]; then
 
   cd $path
 
-#  rm -rf /tmp/silcdoc.tex
+  rm -rf /tmp/silcdoc.tex
 fi
 
 #