Produce documents with proper filenames with Makefile

This commit is contained in:
JPT committed 2018-09-24 13:59:57 +02:00
1 parent 38ec1b8781
commit 74bbd8cd61
2 files changed
+15

No files matched your search

+3
View File
@@ -15,6 +15,9 @@
# build-folder from texmaker
build
# release-folder from Makefile
release
# JabRef creates these
*.sav