aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c451d98..5ec2a1a 100644
--- a/Makefile
+++ b/Makefile
@@ -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: