From 399e0fa924fc39d9045cae49f1ddaa39e82b4537 Mon Sep 17 00:00:00 2001 From: dyb Date: Thu, 13 Jun 2019 15:17:08 -0700 Subject: [PATCH] adopted latest tspl hidx and idx files, which reflect a similar but different fix for extra make-record-type-descriptor index entry original commit: 6c4e0a5fd7c5d99690935ad04239406188977425 --- csug/tspl4/out.hidx | 1 + csug/tspl4/tspl.idx | 1 + 2 files changed, 2 insertions(+) diff --git a/csug/tspl4/out.hidx b/csug/tspl4/out.hidx index b88b6162ba..efa703f211 100644 --- a/csug/tspl4/out.hidx +++ b/csug/tspl4/out.hidx @@ -241,6 +241,7 @@ #(index-entry "./records.html#./records:s22" ("rtd") ("rtd") "331" "" "") #(index-entry "./records.html#./records:s21" ("record-type descriptor") ("record-type descriptor") "331" "" "") #(index-entry "./records.html#./records:s20" ("make-record-type-descriptor") ("\\scheme{make-record-type-descriptor}") "331" "emph" "") +#(index-entry "./records.html#./records:s19" ("make-record-type-descriptor") ("\\scheme{make-record-type-descriptor}") "331" "" "") #(index-entry "./records.html#./records:s18" ("rtd") ("rtd") "331" "" "") #(index-entry "./records.html#./records:s17" ("record-type descriptor") ("record-type descriptor") "331" "" "") #(index-entry "./records.html#./records:s16" ("parent-rtd") ("\\scheme{parent-rtd}") "331" "emph" "") diff --git a/csug/tspl4/tspl.idx b/csug/tspl4/tspl.idx index fd34f3722a..1faa323270 100644 --- a/csug/tspl4/tspl.idx +++ b/csug/tspl4/tspl.idx @@ -1171,6 +1171,7 @@ \indexentry{parent-rtd@\scheme{parent-rtd}|emph}{331} \indexentry{record-type descriptor}{331} \indexentry{rtd}{331} +\indexentry{make-record-type-descriptor@\scheme{make-record-type-descriptor}}{331} \indexentry{make-record-type-descriptor@\scheme{make-record-type-descriptor}|emph}{331} \indexentry{record-type descriptor}{331} \indexentry{rtd}{331}