diff options
| -rw-r--r-- | Makefile | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -13,7 +13,7 @@ MANDIR=$(PREFIX)/man  MAN1DIR=$(MANDIR)/man1  DOCDIR=$(PREFIX)/doc/$(PROJ)-$(VERSION) -DOCS=README +DOCS=README QUICKSTART TODO pre-commit-sbolint  SCRIPTS=sbopkglint sbolint  all: | 
