From 8d8896625ca3eaddecb407fcb34b4ffa6aca31500af5c4219912f0d518de5be7 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sat, 5 Oct 2024 17:43:27 +0300 Subject: [PATCH] HTML specification --- spec/.gitignore | 3 ++- spec/mk-html | 10 ++++++++++ spec/mk-info | 2 +- 3 files changed, 13 insertions(+), 2 deletions(-) create mode 100755 spec/mk-html diff --git a/spec/.gitignore b/spec/.gitignore index 4618054..bcf42ef 100644 --- a/spec/.gitignore +++ b/spec/.gitignore @@ -1 +1,2 @@ -/index.info +/spec.html/ +/spec.info diff --git a/spec/mk-html b/spec/mk-html new file mode 100755 index 0000000..92a7108 --- /dev/null +++ b/spec/mk-html @@ -0,0 +1,10 @@ +#!/bin/sh -e + +makeinfo --html \ + --set-customization-variable SECTION_NAME_IN_TITLE=1 \ + --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ + --set-customization-variable ASCII_PUNCTUATION=1 \ + --set-customization-variable NO_CSS=1 \ + --set-customization-variable FORMAT_MENU=menu \ + --set-customization-variable DATE_IN_HEADER=1 \ + --output spec.html index.texi diff --git a/spec/mk-info b/spec/mk-info index 1075232..e762f16 100755 --- a/spec/mk-info +++ b/spec/mk-info @@ -4,4 +4,4 @@ makeinfo \ --set-customization-variable SECTION_NAME_IN_TITLE=1 \ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ --set-customization-variable ASCII_PUNCTUATION=1 \ - index.texi + --output spec.info index.texi -- 2.50.0