diff options
| author | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-06 13:45:40 +0100 |
|---|---|---|
| committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-06 13:45:40 +0100 |
| commit | 51b8be3ee4b9017287400b76a55a04f39f56a2ab (patch) | |
| tree | 9fabf3742f910b5a42173213d5c71d5579680d02 /docs/web/Makefile | |
| parent | 5e594e593a77f25f48e2ff073058ec71cbec1680 (diff) | |
add tinyproxy website template to docs/web
this allows to automatically generate the website from the current
tinyproxy.conf.5 template.
make
cd docs/web
make
Diffstat (limited to 'docs/web/Makefile')
| -rw-r--r-- | docs/web/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/docs/web/Makefile b/docs/web/Makefile new file mode 100644 index 0000000..9b7c1ff --- /dev/null +++ b/docs/web/Makefile @@ -0,0 +1,15 @@ +# test webpage with `python -m SimpleHTTPServer` + +all: index.html + +tp.html.conf: ../man5/tinyproxy.conf.txt + pod2html --noindex < $^ | awk -f podhtml-filter.awk > $@ + +index.html: tp.html.head tp.html.conf tp.html.foot + cat $^ > $@ + +clean: + rm tp.html.conf index.html *.tmp + +.PHONY: all clean + |