diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 32 | ||||
-rw-r--r-- | docs/assets/includes/footer.html | 2 | ||||
-rw-r--r-- | docs/assets/includes/header.html | 9 |
3 files changed, 43 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000..68c953e --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,32 @@ +#!/usr/bin/env make +# license: gnu gpl version 3 or higher. +# copyright 2016 rsiddharth <s@ricketyspace.net> + +build_dir=_build + +# docs +header=assets/includes/header.html +footer=assets/includes/footer.html + +index_src=index.org +index_out=$(build_dir)/index.html + +nothing: + @echo "Give me something to make. " + +html: $(index_out) + +.PHONY: html + +$(build_dir): + @mkdir $@ + +$(index_out): $(index_src) $(header) $(footer) $(build_dir) + @cat $(header) > $@ + @pandoc -f org -t html $< >> $@ + @cat $(footer) >> $@ + +clean: $(build_dir) + @rm -rf $< + +.PHONY: clean diff --git a/docs/assets/includes/footer.html b/docs/assets/includes/footer.html new file mode 100644 index 0000000..308b1d0 --- /dev/null +++ b/docs/assets/includes/footer.html @@ -0,0 +1,2 @@ +</body> +</html> diff --git a/docs/assets/includes/header.html b/docs/assets/includes/header.html new file mode 100644 index 0000000..7fe7be1 --- /dev/null +++ b/docs/assets/includes/header.html @@ -0,0 +1,9 @@ +<!DOCTYPE html> +<head> + <meta charset="UTF-8"> + <meta name="viewport" content="width=device-width, initial-scale=1.0" /> + <meta name="author" content=" rsiddharth"> + <title>ricketyspace.net - git-difme</title> + <style>body {font-size:12px;}</style> +</head> +<body> |