From 0db6d0616bd4a9730b68e22f29fc76232981cc88 Mon Sep 17 00:00:00 2001 From: lonkaars Date: Sat, 19 Nov 2022 12:38:09 +0100 Subject: more WIP doc generation --- docs/gen/doc.m4 | 12 ++++++++++++ docs/gen/end.html | 2 -- docs/gen/start.m4 | 8 -------- 3 files changed, 12 insertions(+), 10 deletions(-) create mode 100644 docs/gen/doc.m4 delete mode 100644 docs/gen/end.html delete mode 100644 docs/gen/start.m4 (limited to 'docs/gen') 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 @@ + + + + + + + + + undivert(NAME`.toc') + undivert(NAME`.con') + + 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 @@ - - 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 @@ - - - - - - - - -- cgit v1.2.3