diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-06-16 13:04:49 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-06-16 13:04:49 -0700 |
commit | 0c439ac3ab8c59a90277daad0c2ece5e937a6528 (patch) | |
tree | ace7b1cf5996e8ae504798747ad11b1999b3def6 | |
parent | 208c794def61eb819ed6eebe1d51867613addce0 (diff) |
Added explanatory note about entities.h in Makefile.
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -111,6 +111,8 @@ $(SRCDIR)/scanners.c: $(SRCDIR)/scanners.re esac re2c --case-insensitive -b -i --no-generation-date -o $@ $< +# We include entities.h in the repository, so normally this +# doesn't need to be regenerated: $(SRCDIR)/entities.h: tools/make_entities_h.py python3 $< > $@ |