The branch main has been updated by wosch:

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

commit 1206aa278642ec72e974f3d1dfa8f7b374281b83
Author:     Wolfram Schneider <wo...@freebsd.org>
AuthorDate: 2023-05-15 06:30:34 +0000
Commit:     Wolfram Schneider <wo...@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 <wo...@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

Reply via email to