diff options
| -rw-r--r-- | Grammar/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Grammar/Makefile b/Grammar/Makefile index f3f4e05..fe9eaa8 100644 --- a/Grammar/Makefile +++ b/Grammar/Makefile @@ -8,6 +8,8 @@ all: install install: $(DESTH) $(DESTC) +depend: + $(DESTH): graminit.h cp graminit.h $(DESTH) |