diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -16,8 +16,7 @@ # along with this Makefile. If not, see <https://www.gnu.org/licenses/>. # PDF slides: -reproducible-paper.pdf: reproducible-paper.tex \ - tex/project-graph.tex tex/git-branch.tex +reproducible-paper.pdf: reproducible-paper.tex tex/*.tex # We'll run pdflatex two times so the page numbers and # internal links also work. if [ -d .git ]; then v=$$(git describe --dirty --always --long); \ |