[m-dev.] trivial diff: make generate_index_html generate valid html
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Tue Jul 4 12:27:35 AEST 2000
===================================================================
Estimated hours taken: 0.1
tools/generate_index_html:
Add `HTML', `HEAD', `TITLE' and `BODY' tags to the generated HTML.
===================================================================
Index: generate_index_html
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/generate_index_html,v
retrieving revision 1.2
diff -u -t -r1.2 generate_index_html
--- generate_index_html 2000/06/27 04:35:19 1.2
+++ generate_index_html 2000/07/04 02:24:46
@@ -20,7 +20,14 @@
img_dir="<img src=/icons/folder.gif>"
img_bak="<img src=/icons/back.gif>"
-echo "<H1>Directory listing</H1>" > $INDEX
+echo "<!-- This page was automatically generated by generate_index_html -->" \
+ > $INDEX
+echo "<HTML>" >> $INDEX
+echo "<HEAD>" >> $INDEX
+echo "<TITLE>The Mercury Project: Directory Listing</TITLE>" >> $INDEX
+echo "</HEAD>" >> $INDEX
+echo "<BODY>" >> $INDEX
+echo "<H1>Directory listing</H1>" >> $INDEX
echo "<hr>" >> $INDEX
echo "$img_bak <a href=../>Parent Directory</a><br>" >> $INDEX
@@ -48,6 +55,8 @@
cat README >> $INDEX
echo "</pre>" >> $INDEX
fi
+echo "</BODY>" >> $INDEX
+echo "</HTML>" >> $INDEX
chmod a+r,g+w $INDEX
chgrp mercury $INDEX
dgj
--
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student, | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.| With sufficient formality
The University of Melbourne | The sheerist banality
Australia | Will be hailed by the critics: "Miraculous!"
| -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list