summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2015-12-21 16:22:26 +0530
committerJonas Smedegaard <dr@jones.dk>2015-12-21 16:22:26 +0530
commit0919aec4f39eef4b40977862675e625ea8bb55fd (patch)
tree8217605a9f59186ac0af1fd283d42b75f4dff63f /Makefile
parent12c3318e75a9c2389187cb87df0476cf26292be1 (diff)
Add offline target.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 6a93c96..9606ec5 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,8 @@ htmlfiles = $(htmlprogrammefiles)
getbase = $(shell perl -ne '/^\@base\s+<(http.+)>/ and print $$1 and exit;' "$1")
-all: $(textfiles) $(rdfxmlfiles) $(htmlfiles)
+all: offline $(htmlfiles)
+offline: $(textfiles) $(rdfxmlfiles)
clean:
rm -rf build