From fa4a7d01181eba694a1031c1200c1828519429ac Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 8 Nov 2022 13:36:50 +0300 Subject: [PATCH] Use Texinfo 7.0 features --- doc/index.texi | 3 --- doc/makeinfo.rc | 3 +-- doc/nncp.html.do | 1 - 3 files changed, 1 insertion(+), 6 deletions(-) diff --git a/doc/index.texi b/doc/index.texi index 275d776..8e15d83 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -17,9 +17,6 @@ A copy of the license is included in the section entitled "Copying conditions". @end copying @node Top -@c dummy cindex, to pass through the current info's bug, which can skip -@c the first index entry during searching -@cindex 0 @top NNCP @cindex Pedro diff --git a/doc/makeinfo.rc b/doc/makeinfo.rc index 8d60761..e58f0e9 100644 --- a/doc/makeinfo.rc +++ b/doc/makeinfo.rc @@ -16,6 +16,5 @@ ${MAKEINFO:-makeinfo} \ $MAKEINFO_OPTS \ --set-customization-variable SECTION_NAME_IN_TITLE=1 \ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ - --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ - --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ + --set-customization-variable ASCII_PUNCTUATION=1 \ --output $3 index.texi diff --git a/doc/nncp.html.do b/doc/nncp.html.do index 9aaa184..6e18fee 100644 --- a/doc/nncp.html.do +++ b/doc/nncp.html.do @@ -2,6 +2,5 @@ redo-ifchange makeinfo.rc rm -fr nncp.html MAKEINFO_OPTS="$MAKEINFO_OPTS --html --css-include style.css" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable FORMAT_MENU=menu" -MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable SHOW_TITLE=0" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable DATE_IN_HEADER=1" MAKEINFO_OPTS="$MAKEINFO_OPTS" . makeinfo.rc -- 2.44.0