Closed clbarnes closed 6 years ago
Add a (bash-only) git hook which checks whether any important files have changed more recently than the PDF, and runs make if so, ensuring that the PDF always reflects the state of the source files.
make
Thank you @clbarnes !
Add a (bash-only) git hook which checks whether any important files have changed more recently than the PDF, and runs
make
if so, ensuring that the PDF always reflects the state of the source files.