From 1510dec094394d32dce826af63253a10f828b976 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Sat, 7 May 2022 13:45:14 -0400 Subject: include all docs in "make install" --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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: -- cgit v1.2.3