fenics team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

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:  <noreply@xxxxxxxxxxxxx>
> 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 <gnw20@xxxxxxxxx>
>
>
> ------------------------------------------------------------
> 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/ fenics@xxxxxxxxxxxxxxxxx:/home/fenics/www.fenicsproject.org/
> +rsync -avz build/html/ fenics@xxxxxxxxxxxxxxxxx:/home/fenics/fenicsproject.org/
>

> _______________________________________________
> Mailing list: https://launchpad.net/~fenics
> Post to     : fenics@xxxxxxxxxxxxxxxxxxx
> Unsubscribe : https://launchpad.net/~fenics
> More help   : https://help.launchpad.net/ListHelp