diff options
| -rw-r--r-- | .file-metadata | bin | 8865 -> 8808 bytes | |||
| -rw-r--r-- | reproduce/analysis/make/initialize.mk | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex c5363f0..de71931 100644 --- a/.file-metadata +++ b/.file-metadata diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk index b2185e2..47e6712 100644 --- a/reproduce/analysis/make/initialize.mk +++ b/reproduce/analysis/make/initialize.mk @@ -242,6 +242,7 @@ clean: clean-mmap rm -rf $(BDIR)/tex/macros/!(dependencies.tex|dependencies-bib.tex) rm -rf $(BDIR)/!(software|tex) $(BDIR)/tex/!(macros|$(texbtopdir)) rm -rf $(BDIR)/tex/build/!(tikz) $(BDIR)/tex/build/tikz/* + rm -rf $(BDIR)/software/preparation-done.mk distclean: clean # Without cleaning the Git hooks, we won't be able to easily |