diff options
| author | Holden Rohrer <hr@hrhr.dev> | 2020-03-23 14:57:18 -0400 |
|---|---|---|
| committer | Holden Rohrer <hr@hrhr.dev> | 2020-03-23 14:57:21 -0400 |
| commit | 784d5d1eb73d648fcb1f871c22e8ef8c85595b79 (patch) | |
| tree | 2173ea4bb1563012ad51df8125996c82696444f0 /execsumm | |
| parent | 055004bb97a05b107c0898fc410683f2c0b1d56a (diff) | |
made makefile slightly more flexible
directory/document.tex can now be named anything, as long as it's in
the directory (and the makefile target line, of course).
Diffstat (limited to 'execsumm')
0 files changed, 0 insertions, 0 deletions