diff options
Diffstat (limited to 'docs/gen')
| -rw-r--r-- | docs/gen/doc.m4 | 12 | ||||
| -rw-r--r-- | docs/gen/end.html | 2 | ||||
| -rw-r--r-- | docs/gen/start.m4 | 8 |
3 files changed, 12 insertions, 10 deletions
diff --git a/docs/gen/doc.m4 b/docs/gen/doc.m4 new file mode 100644 index 0000000..3ad8009 --- /dev/null +++ b/docs/gen/doc.m4 @@ -0,0 +1,12 @@ +<!DOCTYPE html> +<html> +<link> + <meta charset='utf-8'> + <style>undivert(`gen/style.css')</style> + <script>undivert(`gen/paged.polyfill.js')</script> +</head> +<body> + undivert(NAME`.toc') + undivert(NAME`.con') +</body> +</html> diff --git a/docs/gen/end.html b/docs/gen/end.html deleted file mode 100644 index 308b1d0..0000000 --- a/docs/gen/end.html +++ /dev/null @@ -1,2 +0,0 @@ -</body> -</html> diff --git a/docs/gen/start.m4 b/docs/gen/start.m4 deleted file mode 100644 index f714588..0000000 --- a/docs/gen/start.m4 +++ /dev/null @@ -1,8 +0,0 @@ -<!DOCTYPE html> -<html> -<link> - <meta charset='utf-8'> - <style>include(`style.css')</style> - <script defer src="./gen/paged.polyfill.js"></script> -</head> -<body> |