diff options
| author | lonkaars <loek@pipeframe.xyz> | 2022-11-19 12:38:09 +0100 |
|---|---|---|
| committer | lonkaars <loek@pipeframe.xyz> | 2022-11-19 12:38:09 +0100 |
| commit | 0db6d0616bd4a9730b68e22f29fc76232981cc88 (patch) | |
| tree | b2c058139508f90a1e3126249dcdcb9629961696 /docs/gen | |
| parent | e47b1ddefa9989594bb81bd872b88c085cd777bc (diff) | |
more WIP doc generation
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> |