Fix #79: make-record-type-descriptor appears twice in the index

original commit: 23833c7d0194248143af425dd22e34a760e81505
This commit is contained in:
Bob Burger 2019-05-06 15:17:51 -04:00
parent 62ddec8b4b
commit 17f0052f45
2 changed files with 0 additions and 2 deletions

View File

@ -241,7 +241,6 @@
#(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") ("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" "")

View File

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