update.sh [plain text]

#!/bin/sh
#
#  This script makes an HTML page from a simple directory listing
#
#
cat >index.html <<EOF
<HTML>
<TITLE>Index of FreeRADIUS.org's RFC site</TITLE>
<BODY>

<H1>Index of FreeRADIUS.org's RFC site</H1>

List of <A HREF="attributes.html">RADIUS attributes</A>
<P>

EOF

#
#  include the message, if any exists
#
if [ -e message ]; then
  echo "<PRE>" >> index.html
  cat .message >> index.html
  echo "</PRE>" >> index.html
fi

#
#  for all of the text files, do this
#
cat >>index.html <<EOF
<h2>RFC's</h2>
EOF

for x in rfc*.html;do
  y=`echo $x | sed 's/rfc//;s/\.html//'`
  echo "<A HREF=\"$x\">RFC $y</A>" >> index.html
  if [ -e $x.gz ]; then
    echo "<A HREF=\"$x.gz\">(gzipped)</A>" >> index.html
  fi
  y="attributes-rfc$y.html";
  if [ -f $y ];then
    echo "<A HREF=\"$y\">(attributes)</A>" >> index.html
  fi
  echo "<BR />" >> index.html
done

cat >>index.html <<EOF
<h2>Other files</h2>
EOF

#
#  for all of the text files, do this
#
for x in *.txt;do
  y=`echo $x | sed ';s/\.txt/.html/'`
  if [ ! -f $y ];then
    echo "<A HREF=\"$x\">$x</A>" >> index.html
    if [ -e $x.gz ]; then
      echo "<A HREF=\"$x.gz\">(gzipped)</A>" >> index.html
    fi
    echo "<BR />" >> index.html
  fi
done
echo "</BODY></HTML>" >> index.html