suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

adopted latest tspl hidx and idx files, which reflect a similar but

Browse Source 
different fix for extra make-record-type-descriptor index entry

original commit: 6c4e0a5fd7c5d99690935ad04239406188977425
This commit is contained in:
dyb 2019-06-13 15:17:08 -07:00
parent 21c7dd839d
commit 399e0fa924
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
csug/tspl4/out.hidx
View File

@ -241,6 +241,7 @@
#(index-entry "./records.html#./records:s22" ("rtd") ("rtd") "331" "" "") #(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: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: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:s18" ("rtd") ("rtd") "331" "" "")
#(index-entry "./records.html#./records:s17" ("record-type descriptor") ("record-type descriptor") "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" "") #(index-entry "./records.html#./records:s16" ("parent-rtd") ("\\scheme{parent-rtd}") "331" "emph" "")

1
csug/tspl4/tspl.idx
View File

@ -1171,6 +1171,7 @@
\indexentry{parent-rtd@\scheme{parent-rtd}|emph}{331} \indexentry{parent-rtd@\scheme{parent-rtd}|emph}{331}
\indexentry{record-type descriptor}{331} \indexentry{record-type descriptor}{331}
\indexentry{rtd}{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{make-record-type-descriptor@\scheme{make-record-type-descriptor}|emph}{331}
\indexentry{record-type descriptor}{331} \indexentry{record-type descriptor}{331}
\indexentry{rtd}{331} \indexentry{rtd}{331}