#
# print usage
#
-function help ()
+help ()
{
cat << EOF
$name $version
Install HTML info document.
-Usage: $name [OPTION]... [DOCUMENT-DIR]...
+Usage: $name [OPTIONS]... [DOCUMENT-DIR]...
Options:
- -a,--all assume all subdirectories of index to be DOCUMENT-DIRs
- -d,--dir=DIR set index directory to DIR (default=.)
- -D,--debug print debugging info
- -h,--help this help text
- -v,--version show version
+ -a, --all assume all subdirectories of index to be DOCUMENT-DIRs
+ -d, --dir=DIR set index directory to DIR (default=.)
+ -D, --debug print debugging info
+ -h, --help show this help text
+ -v, --version show version
EOF
}
-function cleanup ()
+cleanup ()
{
$debug_echo "cleaning ($?)..."
}
<title>Info documentation index</title>
<body>
<h1>Info documentation index</h1>
+<p>
This is the directory file \`index.html' a.k.a. \`DIR', which contains the
topmost node of the HTML Info hierarchy.
-<p>
-This is all very much Work in Progress (WiP).
-<p>
+</p>
<ul>
EOF
#list
for i in $document_dirs; do
- echo "<li> <a href=$i/$i.html>$i</a>"
+ cat <<EOF
+<li> <a href="$i/index.html">$i</a> (<a href="$i.html">$i as one big page</a>)</li>
+EOF
done >> $index_file
# foot
</body>
</html>
EOF
-echo
\ No newline at end of file
+echo