for review: add applications page to web site.
Peter Ross
petdr at cs.mu.OZ.AU
Wed Sep 23 10:28:57 AEST 1998
Hi,
Tyson cast your eye over this one.
Pete.
===================================================================
Estimated hours taken: 1
Add in a page which is for applications that are being developed using
Mercury.
<directory>/<file>:
<detailed description of changes>
Makefile:
Add the new file.
Makefile.common:
Change the rule for generating the html from the php3 source to use
a command line switch rather then sed to strip the headers.
include/menubar.inc:
Add the applications page to the menubar.
applications.php3:
include/applications.inc:
The page.
Index: Makefile
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile,v
retrieving revision 1.6
diff -u -r1.6 Makefile
--- Makefile 1998/09/11 05:54:10 1.6
+++ Makefile 1998/09/23 00:16:56
@@ -9,7 +9,8 @@
news.html \
information.html \
download.html \
- contact.html
+ contact.html \
+ applications.html
DIRS=contact download information mailing-lists
ROOT=.
Index: Makefile.common
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile.common,v
retrieving revision 1.6
diff -u -r1.6 Makefile.common
--- Makefile.common 1998/09/11 05:54:11 1.6
+++ Makefile.common 1998/09/15 07:57:55
@@ -4,7 +4,7 @@
# Public License - see the file COPYING in the Mercury distribution.
#-----------------------------------------------------------------------------#
-PHP3=/usr/lib/cgi-bin/php3
+PHP3=/usr/lib/cgi-bin/php3 -q
#-----------------------------------------------------------------------------#
@@ -69,7 +69,7 @@
#-----------------------------------------------------------------------------#
%.html: %.php3
- $(PHP3) $< | sed 's/Content-type:.*//g'> $@
+ $(PHP3) $< > $@
#-----------------------------------------------------------------------------#
#-----------------------------------------------------------------------------#
Index: include/menubar.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/include/menubar.inc,v
retrieving revision 1.2
diff -u -r1.2 menubar.inc
--- menubar.inc 1998/09/22 14:44:08 1.2
+++ menubar.inc 1998/09/23 00:20:44
@@ -41,6 +41,9 @@
<P>
<B><a href="<?echo $root?>/information/related.html">Related</a></B><BR>
<SMALL>
+ <a href="<?echo $root?>/applications.html">Applications</a> <BR>
+</SMALL>
+<SMALL>
<a href="<?echo $root?>/mcorba.html">MCORBA</a> <BR>
</SMALL>
<P>
New File: applications.php3
===================================================================
<HTML>
<?
$title="Applications using Mercury";
$dir=".";
$root=".";
$include="applications.inc";
include "$root/include/template.inc"
?>
</HTML>
New File: include/applications.inc
===================================================================
<H2>Projects using Mercury</H2>
If you are using Mercury in your project, please contact us at
<a href="mailto:mercury at cs.mu.oz.au">mercury at cs.mu.oz.au</a>.
<UL>
<LI> <A HREF="http://www.cs.mu.oz.au/~winikoff/pipe/animate.html">Animating Z
specifications using Mercury</A>
<LI> <A HREF="http://www.cs.mu.oz.au/research/groups/clp/hal.html">The
Hal Project</A>
</UL>
----
+----------------------------------------------------------------------+
| Peter Ross M Sci/Eng Melbourne Uni |
| petdr at cs.mu.oz.au WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158 |
+----------------------------------------------------------------------+
More information about the developers
mailing list