blob: 7d73ce303d7abf9f38256e3b69102720cc9e1136 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
Developers' Notes about Web Pages
---------------------------------
NEW: server hacks needed to serve these pages, giving nice urls
PHP3 module included
.html treated as application
Mime magic configured:
LoadModule mime_magic_module modules/mod_mime_magic.so
AddModule mod_mime_magic.c
MimeMagicFile /etc/httpd/conf/magic
to recognize files beginning <?php, by
adding this to /etc/httpd/conf/magic:
0 string <?php application/x-httpd-php3
Then add these links:
news -> index.html
doc -> index.html
etc.
***************
Notes about php:
Some functions I've written
<?php hlink("html file","text","status message")?>
NB: no space after text so you must write
<?php ... ?> blah
to get a space. Don't put "blah" onto a new line, space will
be lost!
*************
Tell Thomas (& other folk?) to update his home page links to Proof General.
[Probably okay: Thomas links to image in home directory, but we'll
keep that as a copy of images/ProofGeneral.jpg]
*************
Suggestions for improving web pages after Rod reading them:
- slideshow rather than single screen shot
- separate feature list
- explain what a proof script is and what script management buys you
|