summaryrefslogtreecommitdiff
path: root/doc/makefile
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2021-04-04 03:01:53 +0100
committerjao <jao@gnu.org>2021-04-04 03:01:53 +0100
commitb0813dedce855e82eeb51da1a38086312d0560d2 (patch)
tree1e1b1af46a4b62b63a2ab23628c5815401dcb89c /doc/makefile
parent5707380554a22f80de2573db0bc15d9488500df9 (diff)
downloadgeiser-b0813dedce855e82eeb51da1a38086312d0560d2.tar.gz
geiser-b0813dedce855e82eeb51da1a38086312d0560d2.tar.bz2
makefiles (and lack thereof)
Diffstat (limited to 'doc/makefile')
-rw-r--r--doc/makefile9
1 files changed, 8 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile
index 1d3bb63..a192e00 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -1,4 +1,4 @@
-# Copyright (C) 2010, 2020 Jose Antonio Ortega Ruiz
+# Copyright (C) 2010, 2020, 2021 Jose Antonio Ortega Ruiz
#
# This file is free software; as a special exception the author gives
# unlimited permission to copy and/or distribute it, with or without
@@ -10,6 +10,10 @@
top_srcdir=..
output_dir=html
+port ?= 8082
+
+clean:
+ rm -f $(output_dir)/*.html
web:
rm -f $(output_dir)/*.html
@@ -22,3 +26,6 @@ web:
$(top_srcdir)/doc/web.texi
cp $(top_srcdir)/doc/geiser.css ${output_dir}
cp -r $(top_srcdir)/doc/img ${output_dir}
+
+http: web
+ cd $(output_dir) && python -m http.server $(port)