Building of the documentation is semi-manual and is handled by Johannes. The cronjob for building it has not yet been setup on the new server. I expect Johannes will see to it when he is back from his vacation.
-- Anders On Thu, Jul 12, 2012 at 11:21:21AM +0200, Garth N. Wells wrote: > Does a script need to be run for the below? The documentation is still down. > > Garth > > > ---------- Forwarded message ---------- > From: <[email protected]> > Date: 12 July 2012 01:36 > Subject: [Branch ~fenics-web-core/fenics-web/main] Rev 727: Update > publish-script for new location of web pages on server > To: Garth Wells <[email protected]> > > > ------------------------------------------------------------ > revno: 727 > committer: Anders Logg <logg@glaurung> > branch nick: fenics-web > timestamp: Thu 2012-07-12 01:35:19 +0200 > message: > Update publish-script for new location of web pages on server > modified: > scripts/publish > > > === modified file 'scripts/publish' > --- scripts/publish 2011-08-18 15:02:44 +0000 > +++ scripts/publish 2012-07-11 23:35:19 +0000 > @@ -1,4 +1,4 @@ > #!/bin/sh > > chmod +x build/html/index.html > -rsync -avz build/html/ > [email protected]:/home/fenics/www.fenicsproject.org/ > +rsync -avz build/html/ > [email protected]:/home/fenics/fenicsproject.org/ > > _______________________________________________ > Mailing list: https://launchpad.net/~fenics > Post to : [email protected] > Unsubscribe : https://launchpad.net/~fenics > More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp
