summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLouie S <louie@example.com>2024-01-19 15:27:06 -0500
committerLouie S <louie@example.com>2024-01-19 15:31:00 -0500
commitef4c089d4f64307e48b3810830c2559830ebf8e2 (patch)
tree6de6746d73fe6af171aa2719bf4bb544f68ac8dc /Makefile
parent8fb96e377ed2fa0c0ab707425b862363a29be859 (diff)
Add conditional to avoid error when MANUAL_URL is unsetHEADmaster
Change pup link to upstream URL (instead of debian page) Change pup link to upstream URL (instead of debian page)
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 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 $@