projects
/
silc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
comment fix
[silc.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
#