diff options
| -rw-r--r-- | Info/10/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Info/10/Makefile b/Info/10/Makefile index 5875dfd8..af11d41e 100644 --- a/Info/10/Makefile +++ b/Info/10/Makefile @@ -1,3 +1,5 @@ +include ../../common.mk + java_cheatsheet.pdf: java_cheatsheet.tex rubber --pdf $< && rubber --clean -q $< |