aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall1999-07-02 11:39:39 +0000
committerDavid Aspinall1999-07-02 11:39:39 +0000
commitab054c757e8d0cde207233a37e4a18fdf598c6af (patch)
tree6c2dd73a14c44576bbbbb99059a4cb9bb7f5e472 /html
parent8d38911ba8cd2782d04256e4bf80f6cdc5ff3228 (diff)
Notes about php functions.
Diffstat (limited to 'html')
-rw-r--r--html/notes.txt17
1 files changed, 17 insertions, 0 deletions
diff --git a/html/notes.txt b/html/notes.txt
index d1fbdc6e..3698a1e6 100644
--- a/html/notes.txt
+++ b/html/notes.txt
@@ -1,9 +1,26 @@
Developers' Notes about Web Pages
---------------------------------
+Notes about php:
+
+Some functions I've written
+
+ <?php link_root("pagename","text")?>
+ <?php hlink("html file","text","status message")?>
+
+NB: no space after text in each case 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]
*************