summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAlbert Cervin <albert@acervin.com>2024-03-18 22:07:36 +0100
committerAlbert Cervin <albert@acervin.com>2024-03-18 22:12:01 +0100
commit1558a1b36b15eb9bde28e05beea43b619e6257c6 (patch)
treecf17929449567278cd8487ecf2aff648122c5685 /Makefile
parenteabf7f9a958026c073faecf7504cbd8bb484a6c1 (diff)
downloaddged-1558a1b36b15eb9bde28e05beea43b619e6257c6.tar.gz
dged-1558a1b36b15eb9bde28e05beea43b619e6257c6.tar.xz
dged-1558a1b36b15eb9bde28e05beea43b619e6257c6.zip
More work on languages/syntax
Implement another predicate and add javascript.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 43b2be9..009fdb8 100644
--- a/Makefile
+++ b/Makefile
@@ -115,6 +115,7 @@ format:
clean:
rm -f $(FILES)
rm -rf $(.CURDIR)/docs
+ rm -rf $(.OBJDIR)/grammars
install: dged
install -d $(prefix)/bin