diff options
author | Wolfram Schneider <wosch@FreeBSD.org> | 2023-05-15 06:30:34 +0000 |
---|---|---|
committer | Wolfram Schneider <wosch@FreeBSD.org> | 2023-05-15 06:30:34 +0000 |
commit | 1206aa278642ec72e974f3d1dfa8f7b374281b83 (patch) | |
tree | 0ea5e764cd868d756725795319415993c5a966b2 /tools/tools | |
parent | 27783115a91ca0348df255514d7370e68a3d83df (diff) | |
download | src-1206aa278642ec72e974f3d1dfa8f7b374281b83.tar.gz src-1206aa278642ec72e974f3d1dfa8f7b374281b83.zip |
remove stale handbook scripts
Diffstat (limited to 'tools/tools')
-rw-r--r-- | tools/tools/README | 1 | ||||
-rw-r--r-- | tools/tools/html-mv/html-mv | 59 |
2 files changed, 0 insertions, 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 |