diff options
author | rsiddharth <s@ricketyspace.net> | 2016-07-11 02:03:20 +0000 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2016-07-11 02:03:20 +0000 |
commit | 2ea195dfbc4da32cbf729fe4f4515849e4ebbd97 (patch) | |
tree | 32ec668c3ea4057a79dff527f2eb208ba259b996 /docs/assets/includes/header.html | |
parent | 8845d6ed54c93957227c34b22c909b475ed38baf (diff) |
add stuff to generate docs.
* .gitignore: ignore docs/_build directory.
* Makefile (docs, push-docs, docs-clean): new targets.
* docs/Makefile: new file
* docs/assets/includes/header.html: new file.
* docs/assets/includes/footer.html: new file.
Diffstat (limited to 'docs/assets/includes/header.html')
-rw-r--r-- | docs/assets/includes/header.html | 9 |
1 files changed, 9 insertions, 0 deletions
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> |