]> matita.cs.unibo.it Git - helm.git/commit
- script.sh added to the repository: you should change it to reflect your
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:24:00 +0000 (14:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:24:00 +0000 (14:24 +0000)
commit94b1200cde6becefba4ee80469190284f74fe91c
tree940456e91c87dddfef15ad23d2df47d6b4b3e920
parent86a4850d55fa53e180ae041e0f5a7f0537025b76
- script.sh added to the repository: you should change it to reflect your
  own settings
- the Makefile tries now to automatically build the styles directory, made
  only of hyperlinks to the styles in stylesheets and stylesheets/generated.
  Before doing make, you have to check out the stylesheets and meta_stylesheets
  repositories from the mowgli archive.
- added rootcontent.xsl which is the version used by gTopLevel until we find
  a better solution. You should change it to reflect your own settings.
helm/gTopLevel/.cvsignore
helm/gTopLevel/Makefile
helm/gTopLevel/rootcontent.xsl [new file with mode: 0644]
helm/gTopLevel/script.sh [new file with mode: 0755]