git: 1206aa278642 - main - remove stale handbook scripts

The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/src/commit/?id=1206aa278642ec72e974f3d1dfa8f7b374281b83

commit 1206aa278642ec72e974f3d1dfa8f7b374281b83
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2023-05-15 06:30:34 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2023-05-15 06:30:34 +0000

    remove stale handbook scripts
---
 tools/tools/README          |  1 -
 tools/tools/html-mv/html-mv | 59 ---------------------------------------------
 2 files changed, 60 deletions(-)

diff --git a/tools/tools/README b/tools/tools/README
index cb5235ff0308..0da3d6d4a67b 100644
--- a/tools/tools/README
+++ b/tools/tools/README
@@ -28,7 +28,6 @@ genericize	Turn a kernel config into something that can more easily
 		be diffed against the appropriate GENERIC.
 git		Tools to simplify the use of git by committers.
 hcomp		Compress header files by removing comments and whitespace.
-html-mv         Rename HTML generated filenames to human readable filenames.
 ifinfo		Uses the interface MIB to print out all the information
 		an interface exports in an ugly form.
 indent_wrapper	Tool for style(9) checking SVN/GIT patches.
diff --git a/tools/tools/html-mv/html-mv b/tools/tools/html-mv/html-mv
deleted file mode 100644
index 29ea1f2db81d..000000000000
--- a/tools/tools/html-mv/html-mv
+++ /dev/null
@@ -1,59 +0,0 @@
-#!/bin/sh
-# 
-# Copyright (c) 1997 Wolfram Schneider <wosch@FreeBSD.org>. Berlin.
-# All rights reserved.
-#
-# rename sgml/html generated file names to human readable file names
-# 
-# $ cd FAQ
-# $ make FORMATS=html
-# $ html-mv FAQ
-# $ ls
-# FAQ_ACKNOWLEDGMENTS.html
-# FAQ_Any_restrictions_on_how_I_divide_the_disk_up_.html
-# FAQ_Are_there_any_Database_systems_for_FreeBSD_.html
-# FAQ_Are_there_any_commercial_high-performance_X_servers_.html
-# FAQ_Books_on_FreeBSD.html
-# FAQ_Can_FreeBSD_handle_multiport_serial_cards_sharing_irqs_.html
-# [...]
-# 
-# $FreeBSD$
-
-case $# in 0)
-	echo "usage `basename $0` file"
-	exit 1
-esac
-
-file=$1; export file
-
-if [ -f "$file.html" ]; then :
-else
-	echo "$file.html does not exist"
-	exit 1
-fi
-
-# search for title name
-egrep -i '^<title' $file[1-9]*.html |
-	perl -npe 's/<TITLE>[\*\s]*//; s%\s*</TITLE>.*%%;
-	           s/[^a-zA-Z0-9\_\-\.:\n]/_/g' > .list
-
-# create sed commands
-awk -F: '{print "s/" $1 "/'$file'_" $2 ".html/g;"}' .list > .sed
-
-# create mv(1) shell script
-perl -ne 'chop;($a,$b)=split(/:/); 
-	      print qq[rename ("$a", "$ENV{'file'}_$b.html") || ] .
-	            qq[die "rename $a $ENV{'file'}_$b.html:\$\!";\n]' .list > .mv
-
-# replace links
-if [ -f "$file.ln" ]; then
-	perl -i -p .sed $file.ln
-fi
-
-# replace links
-perl -i -p .sed $file*.html
-
-# rename file names
-perl .mv
-
-rm -f .mv .sed .list