diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/notes.txt | 17 |
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] ************* |