diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2015-04-13 15:48:07 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2015-04-14 09:25:19 +0200 |
| commit | 097562b8bbc04d421e0ab5e1e7a0b705e393c20e (patch) | |
| tree | 256eea10746da067c2af565ac177d981c00becc8 /nx-X11/config/util/mkhtmlindex.sh | |
| parent | a8dad09a56b8cde0b03b8a5cdc77370fc0a428a0 (diff) | |
| download | nx-libs-097562b8bbc04d421e0ab5e1e7a0b705e393c20e.tar.gz nx-libs-097562b8bbc04d421e0ab5e1e7a0b705e393c20e.tar.bz2 nx-libs-097562b8bbc04d421e0ab5e1e7a0b705e393c20e.zip | |
drop: nx-X11/config/util/ (not needed at build time).
Diffstat (limited to 'nx-X11/config/util/mkhtmlindex.sh')
| -rw-r--r-- | nx-X11/config/util/mkhtmlindex.sh | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/nx-X11/config/util/mkhtmlindex.sh b/nx-X11/config/util/mkhtmlindex.sh deleted file mode 100644 index ab1c894ea..000000000 --- a/nx-X11/config/util/mkhtmlindex.sh +++ /dev/null @@ -1,60 +0,0 @@ -#!/bin/sh -# -# $XFree86: xc/config/util/mkhtmlindex.sh,v 1.3 2000/08/26 04:30:49 dawes Exp $ -# -# Copyright © 2000 by Precision Insight, Inc. -# -# Generate index files for the HTML man pages -# -# Author: David Dawes <dawes@xfree86.org> -# - -VOLLIST="1 2 3 4 5 6 7 8 9 o l n p" -INDEX="manindex" - -if [ $# != 1 ]; then - echo Usage: $0 htmlmandir - exit 1 -fi - -if [ ! -d $1 ]; then - echo $1 is not a directory - exit 1 -fi - -cd $1 - -for s in $VOLLIST; do - list="`ls *.$s.html 2> /dev/null`" || : # ignore failed glob expansion - if [ X"$list" != X ]; then - file=$INDEX$s.html - rm -f $file - cat <<EOF > $file -<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"> -<HTML> -<HEAD> -<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"> -<TITLE>X.Org Manual pages: Section $s</TITLE> -</HEAD> -<BODY BGCOLOR="#efefef" TEXT="black" LINK="blue" VLINK="#551A8B" ALINK="red"> - -<H1>X.Org Manual pages: Section $s</H1> -<P> -<UL> -EOF - for i in $list; do - title="`sed -e '/^[^0-9A-Za-z]/d' -e '/^$/' -e '/^Name/d' -e q $i`" - name="`echo \"$title\" | sed -e 's/ - .*//'`" - desc="`echo \"$title\" | sed -e 's/[^-]* - //' -e 's/<P>//'`" - echo "<LI><A href=\"$i\">$name</A> - $desc</LI>" >> $file - done - cat <<EOF >> $file -</UL> -<P> -</BODY> -</HTML> -EOF - fi -done - -exit 0 |