.html
extensions
(which are changed into .htm
under MS-DOS
when transferring the files from UNIX to MS-DOS).
In the MS-DOS format,
each name is of the form filename.ext
,
i.e., 8 characters followed by
a period followed by 3 characters (the extension).
The names are all case insensitive.
Under UNIX they are all in lowercase,
under MS-DOS they are often presented all uppercase.
The IOI Secretariat is set up as an independent (transportable) subweb. See SWAN (SubWeb Analyzer) for more information on independent subwebs. In particular,
index.html
are explicit, that is,
use `dirpath/index.html
'
rather than
`dirpath/
' or just `dirpath',
because when accessed as a local file
(via the file
or ftp
scheme)
the latter results in a directory listing instead of loading
index.html
(which happens in the http
scheme).
The reason for doing all this is that it simplifies archiving the whole directory tree of the IOI Secretariat onto an MS-DOS floppy, which can then be given to someone with no or slow Internet access.
Almost every HTML document of the IOI Secretariat ends with a footer containing a hyperlink to the home page of the IOI Secretariat and a clickable e-mail address.
changes.html
.
This file is also accessible by the (alias) name
dd-mm-yy.html
,
where dd-mm-yy is the date of the most recent entry in the
change log.
On various pages, including the home page of the IOI Secretariat, there are News ``buttons'' that link to the change log via the dated alias. The ``button'' also shows the date of the most recent entry.
In that way, whenever a newer entry has been added to the change log, the button text and hyperlink to it will have changed, and when you reload the home page, the button will show the newer date and will be shown as unvisited (appear in another color in some browsers), clearly indicating that you have not yet seen the most recent news.
Adding a new entry to the change log now requires the following four actions from the maintainer:
changes.html
,
adding an entry for date ee-nn-zz.
.html
to
ee-nn-zz.html
.mv
dd-mm-yy.html
ee-nn-zz.html
index.html
(the home page) to change the News ``button''
as follows:
.html
to
ee-nn-zz.html
.
News (
dd-mm-yy)
' to
`News (
ee-nn-zz)
'.