Remove leftover scripts after ref-index.so removal (#23)

The permuted index had been removed in commit 4ae29d8 ("Remove secondary index from reference manual. Remove Warnings.", 2022-10-28) and further cleaned up in commit ad1d6f3 ("Remove vestigal ref_index.so (#22)", 2022-11-04). See also issue #21.
sierrafoxtrot · Nov 4, 2022 · 0a64015 · 0a64015
1 parent ad1d6f3
commit 0a64015
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 179 deletions.
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
@@ -25,7 +25,6 @@ configure_file(script/groff.sh           script/groff.sh COPYONLY)
 configure_file(script/page_select.sh     script/page_select.sh COPYONLY)
 configure_file(script/ref-ptx.sh         script/ref_ptx.sh COPYONLY)
 configure_file(script/new.sh             script/new.sh COPYONLY)
-configure_file(script/build_ref_index.sh script/build_ref_index.sh COPYONLY)
 configure_file(script/man-html-index.sh  script/man-html-index.sh COPYONLY)
 configure_file(script/ssp.awk            script/ssp.awk COPYONLY)
 configure_file(etc/version.so.in         etc/version.so @ONLY)
@@ -34,7 +33,6 @@ set(GROFF sh ${CMAKE_CURRENT_BINARY_DIR}/script/groff.sh)
 set(PAGE_SELECT sh script/page_select.sh)
 set(NEW_CH sh script/new.sh)
 set(REF_PTX sh script/ref_ptx.sh)
-set(BUILD_REF_INDEX sh script/build_ref_index.sh)
 set(MAN_HTML_INDEX sh script/man-html-index.sh)
 set(SSP awk -f script/ssp.awk)
 set(PS2PDFEXE sh ${PS2PDF})

diff --git a/doc/script/build_ref_index.sh b/doc/script/build_ref_index.sh
diff --git a/doc/script/ref-ptx.ignore b/doc/script/ref-ptx.ignore
diff --git a/doc/script/ref-ptx1.awk b/doc/script/ref-ptx1.awk