diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins b/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins index c274cd1e002..c0305eb4ccd 100644 --- a/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins +++ b/Master/texmf-dist/source/latex/tikzsymbols/tikzsymbols.ins @@ -18,7 +18,8 @@ \input docstrip.tex -\keepsilent +\askforoverwritefalse +%\keepsilent \usedir{tex/latex/tikzsymbols} |