Use Texinfo 7.0 features

diff --git a/doc/index.texi b/doc/index.texi
index 275d776d7a0fe52c051884634c35421979d0e521..8e15d831a891d7ae79d7ff96ec61e63981f76799 100644 (file)
--- 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 8d607611489b74af21cfa21e031c12c3afca47ed..e58f0e9888f30fda7ffc1b9239dce4a080c49931 100644 (file)
--- 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 9aaa1841ecbba7b59c2a20d72cb65ccef1cfe985..6e18fee453be77e84755c6cfc0cad022e173b523 100644 (file)
--- 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