update target 'make clean'

This commit is contained in:
Motiejus Jakštys 2021-05-19 22:57:46 +03:00 committed by Motiejus Jakštys
parent a37dad8f77
commit c890ddc007
2 changed files with 4 additions and 3 deletions

View File

@ -20,7 +20,9 @@ test-integration: .faux_filter-rivers
.PHONY: clean
clean:
-./db stop
-rm .faux_test .faux_filter-rivers .faux_import-osm .faux.db \
-rm -r .faux_test .faux_filter-rivers .faux_import-osm .faux.db \
version.tex test-figures.pdf _minted-mj-msc \
$(shell git ls-files -o mj-msc*) \
$(SLIDES)
.PHONY: clean-tables

View File

@ -259,8 +259,7 @@ We strongly believe in the ability to reproduce the results is critical for any
\inputminted[fontsize=\small]{bash}{extract-and-generate}
A reasonably up-to-date Linux or OS X system with a working Docker installation
is required.
This was tested on Linux Debian 11 with upstream packages only.
\end{appendices}
\end{document}