summaryrefslogtreecommitdiff
path: root/home/config/dotfiles
diff options
context:
space:
mode:
authorQuentin Aristote <quentin@aristote.fr>2021-11-09 12:58:08 +0100
committerQuentin Aristote <quentin@aristote.fr>2021-11-09 12:58:08 +0100
commit6d2e9c650dc685c525bba365ffc8aa29b7450685 (patch)
tree96a4f822562ec869a2cce42674cf744877da69d8 /home/config/dotfiles
parentc3fc57d729d0303855d0961bd6c20ca8e7a0f444 (diff)
add extensions to clean_ext
Diffstat (limited to 'home/config/dotfiles')
-rw-r--r--home/config/dotfiles/latexmkrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/home/config/dotfiles/latexmkrc b/home/config/dotfiles/latexmkrc
index c84011b..01de577 100644
--- a/home/config/dotfiles/latexmkrc
+++ b/home/config/dotfiles/latexmkrc
@@ -1 +1 @@
-$clean_ext = 'bbl nav run.xml snm vrb' \ No newline at end of file
+$clean_ext = 'bbl nav prv_%R.fmt prv_%R.log prv/*/* prv/* prv run.xml snm vrb'