welcome: please sign in

Diff for "DaemonAdmin/Portal"

Differences between revisions 2 and 4 (spanning 2 versions)
Revision 2 as of 2007-12-05 01:26:37
Size: 385
Editor: AdamChlipala
Comment: Add real content
Revision 4 as of 2007-12-05 01:38:08
Size: 713
Editor: AdamChlipala
Comment: Mention building header and footer
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
## page was renamed from Portal/Building
Line 7: Line 8:
  `header.mlt` and `footer.mlt` are built from assorted other files. Running `make` in a check-out directory should build them. See the Makefile for how they're built. Note that `make` '''won't''' publish changes that you make onto the real web sites; you must use `mlt` for that.

The portal source lives in module portal of [http://hcoop.sf.net/ our SourceForge project]'s CVS repository. The main check-out is in /afs/hcoop.net/user/h/hc/hcoop/portal. To recompile and publish on deleuze:

become_hcoop
cd ~/portal
mlt

You should also become_hcoop before modifying files in the main check-out or running any CVS commands that would modify it.

header.mlt and footer.mlt are built from assorted other files. Running make in a check-out directory should build them. See the Makefile for how they're built. Note that make won't publish changes that you make onto the real web sites; you must use mlt for that.

DaemonAdmin/Portal (last edited 2018-12-01 22:19:39 by ClintonEbadi)