summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
-rw-r--r--README2
2 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 397d539..5f2d284 100644
--- a/Makefile
+++ b/Makefile
@@ -10,7 +10,8 @@ INDEX_FILE = $(RESOURCES_DIR)/docSet.dsidx
ICON_FILE = $(DOCSET_DIR)/icon.png
ARCHIVE_FILE = $(DOCSET_NAME).tgz
-MANUAL_URL = https://www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-2.71/autoconf.html_node.tar.gz
+VERSION=2.72
+MANUAL_URL = https://www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-${VERSION}/autoconf.html_node.tar.gz
MANUAL_FILE = tmp/autoconf.html_node.tar.gz
DOCSET = $(INFO_PLIST_FILE) $(INDEX_FILE) $(ICON_FILE)
diff --git a/README b/README
index 09134fb..1b81539 100644
--- a/README
+++ b/README
@@ -7,6 +7,8 @@ To generate a docset from the latest edition of the GNU Autoconf Manual, simply
execute `make` from the same directory as this README file. The latest edition
will be downloaded from www.gnu.org and packaged appropriately.
+A specific version can also be downloaded and packaged by running `make VERSION=...`.
+
Requirements:
- any POSIX-compliant shell