summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
-rw-r--r--README.template2
2 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9339745..9559806 100644
--- a/Makefile
+++ b/Makefile
@@ -52,8 +52,10 @@ tmp:
$(ARCHIVE_FILE): $(DOCSET)
tar --exclude='.DS_Store' -czf $@ $(DOCSET_DIR)
+ifdef MANUAL_URL
$(MANUAL_FILE): tmp
curl -o $@ $(MANUAL_URL)
+endif
$(DOCSET_DIR):
mkdir -p $@
diff --git a/README.template b/README.template
index 6fa12d5..5d08037 100644
--- a/README.template
+++ b/README.template
@@ -13,5 +13,5 @@ Requirements:
- any POSIX-compliant shell
- curl - https://curl.se/
- make - https://www.gnu.org/software/make/
-- pup - https://tracker.debian.org/pkg/pup
+- pup - https://github.com/ericchiang/pup
- sqlite3 - https://www.sqlite.org/index.html