generate-index

   1 #!/bin/sh
   2 cat <<EOT
   3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
   4     "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
   5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US"
   6     version="-//W3C//DTD XHTML 1.1//EN" dir="ltr">
   7 <head>
   8     <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   9     <title>phpMyAdmin Localized Documentation</title>
  10 </head>
  11 <body>
  12 <h1>phpMyAdmin Localized Documentation</h1>
  13 <ul>
  14 EOT
  15
  16 for loc in po/*.po ; do
  17     lang=${loc%.po}
  18     lang=${lang#po/}
  19     langname=`./get-lang-name $lang`
  20     (
  21         cd output/$lang
  22         num=`ls | grep -v docs.css | grep -v favicon.ico | grep -v index.html | grep -v index-template.html | grep -v index-full-template.html | grep -v themes | grep -v '\.stamp$' | wc -l`
  23         if [ $num -gt 0 ] ; then
  24             echo "<li><a href="$lang">$langname</a></li>"
  25         fi
  26     )
  27 done
  28 cat <<EOT
  29 </ul>
  30 </body>
  31 </html>
  32 EOT
  33