diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 233416099c5ef6e70fb9e4683318dc554dbbf154..261584e91578bd08859eb70b0cef23da9d07119a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -39,11 +39,9 @@ site: # don't really want to do this # and only build the site if something changed? script: - # Generate the website. Touch build-el.force to force building. - # I think we should always build everything even if only one file changed. - - touch /tmp/build-el-force - - (cd cmucl-www/www; emacs -batch -q -l ../build.el -f wb-make) - - cp -r public/* gen + # Just need to copy all of the html files to the gen directory + - (cd cmucl-www/www; tar cf - `find . -name '*.html'`) | (cd gen; tar xf -) + - ls gen # Generates the texi docs. Only done if some texi file changed so we don't # have to download and build texinfo if nothing changed. diff --git a/cmucl-www/www/credits.html b/cmucl-www/www/credits.html index d35ec10331cf02000aa1fd78f600de20d90699da..479d5679d3c7f3bcd76c46a31d4938c1f11aac20 100644 --- a/cmucl-www/www/credits.html +++ b/cmucl-www/www/credits.html @@ -96,7 +96,7 @@ Martin Cracauer
<cracauer@cons.org>
<pvaneynd@debian.org>
<ram+@CS.cmu.edu>
<pmai@pmsf.de>
<emarsden@laas.fr>
<gerd.moellmann@t-online.de>
<moore@bricoworks.com>
<toy.raymond@gmail.com>
<pw@snoopy.mv.com>