]> matita.cs.unibo.it Git - helm.git/commit
Final commit for frames/no-frames versions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 16:04:04 +0000 (16:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 16:04:04 +0000 (16:04 +0000)
commit1b885e1912db4b252b02d768ac5318a835497dca
tree8abeb3dcb1fb297faebd95548ad72d2ce45ddb7f
parentdd6df514e8240ceb5372d05da3694b9a05ac2fe9
Final commit for frames/no-frames versions.

1) You can now compile (and install!) the two versions together
   typing make FRAMES=x" twice.
2) The default index.html is a patched copy of html_yes_frames/index.html
   when FRAMES=yes and is not there when FRAMES=no. [I don't know what
   to put there in this case! ;-(]

The only variable that must be set in the Makefile is the destination
directory.

Question: what should we do now? Keep only one of the two versions?
Keep both of them and add a first page in which the user can choose
the version he prefers? Put a link from one version to the other
and keep one as the default?
helm/mowgli/home/html/Makefile