diff options
| -rwxr-xr-x | doc/bin/dir2url | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/doc/bin/dir2url b/doc/bin/dir2url deleted file mode 100755 index bef94fc4..00000000 --- a/doc/bin/dir2url +++ /dev/null @@ -1,65 +0,0 @@ -#!/bin/sh -# -# $Id$ -# - -HEADER () { -cat <<'_EOF' -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> -<HTML> -<HEAD> -<TITLE> -fml5 homepage menubar -</TITLE> -<META http-equiv="Content-Type" - content="text/html; charset=EUC-JP"> -</HEAD> - -<BODY BGCOLOR="#E6E6FA"> -_EOF -} - -FOOTER () { -cat <<'_EOF' -</BODY> -</HTML> -_EOF -} - - -SHOW () { - echo "<UL>" - for x in *[a-z0-9A-Z] - do - if [ "X$x" = XCVS ]; then continue; fi - if [ "X$x" = Xindex.ja.html ]; then continue; fi - if [ "X$x" = Xindex.en.html ]; then continue; fi - if [ "X$x" = Xindex.html ]; then continue; fi - - echo " <LI>"; - if [ -d $x ];then - if [ -f $x/index.ja.html ];then - echo " <A HREF=$x/index.ja.html>$x::</A>" - else - echo " $x "; - if [ -f $x/README ];then - echo " <A HREF=$x/README>README</A>" - fi - if [ -f $x/INSTALL ];then - echo " <A HREF=$x/INSTALL>INSTALL</A>" - fi - fi - else - echo " $x" - fi - echo "" - done - echo "</UL>" -} - - -HEADER -SHOW -FOOTER - -exit 0; |