aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorCamil Staps2016-06-06 23:00:42 +0200
committerCamil Staps2016-06-06 23:00:42 +0200
commitd8297fec19292c544a32a474500eca49552215d0 (patch)
tree5558714e59aad6526cb863671822af665579df8a /Makefile
parentReadme (diff)
LaTeX formatting for derivation treesHEADmaster
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a32c219..af152b7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
CPM=cpm
OBJ=run tree
-DEPS=Smurf.dcl Smurf.icl SmurfParse.dcl SmurfParse.icl
+DEPS=Smurf.dcl Smurf.icl SmurfParse.dcl SmurfParse.icl LaTeX.dcl LaTeX.icl
all: $(OBJ)