diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2024-05-17 21:42:03 +0200 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2024-05-17 21:42:03 +0200 |
commit | f43068ca50cb21c582d680f7856ead034f9abb1a (patch) | |
tree | 9b4586a6ccc645fc15725198b314856c0acffdea /.gitignore | |
parent | b3fc7a69323fb1ae11172311c14609a5f2d415d1 (diff) |
System. Add Makefiles for all sorts of actions
The general *lib/Makefile* contains all commands and should be included from
other places. Add particular makefiles for archive and 2023 board minutes.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -3,6 +3,7 @@ *#* # latex specific + *.aux *.dvi *.log @@ -14,6 +15,7 @@ *.vrb # misc file types + *.bak *.eps *.jpg @@ -21,10 +23,16 @@ *.eepic # Test files and temporary files + test.d test.d/test *_ *_.tex # Completed minutes (using sed scripts) -*-complete.tex
\ No newline at end of file + +*-complete.tex + +# PDF for archiving + +!archive/*.pdf
\ No newline at end of file |