diff options
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | README | 2 |
2 files changed, 4 insertions, 1 deletions
@@ -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) @@ -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 |