The new website directory

Eric S. Raymond esr at
Mon Nov 23 04:58:41 UTC 2015

Mark Atwood <fallenpegasus at>:
> Hi Eric, everyone:
> The website canonical repo is the one on gitlab.  I asked Amar to use the
> gitlab push hooks so that pushes to that repo would rebuild the HTML and
> put the results on the web server.

So, I should ignore the repo at



> We had to move our web pages off GitHub Pages to our own web server, to
> solve the problem of bricking someone's browser against our site if they
> manually typed "".
> I myself find it useful to have WAF rebuild the HTML, because I don't have
> asciidoc installed on every machine I may be using when editing the site.

Do I have to run waf when I want to push a change to the site?

> Plus I was noticing random changes in the site stemming from me having
> slightly different versions of asciidoc installed than other team members.
> Changing it to being built via the push hooks solved that problem.
> Open a bug on the issue tracker about the favicon, and Amar will be able to
> fix it.


The README still needs to describe correct procedure?
		<a href="">Eric S. Raymond</a>

More information about the devel mailing list