Closed tjhei closed 1 week ago
When there, we should also expose the different sections of the page to mkdocs so that it can show a next-level-down set of links in the menu on the left.
yes, I will work on that.
I moved the static content including the site headers to markdown, so this should work now @bangerth (live in a few minutes)
See https://github.com/dealii/publication-list/pull/600 for the update to generate a compatible new output.html
@tamiko will need to wget https://ci.tjhei.info/job/publication-list/job/master/lastSuccessfulBuild/artifact/output.html and place it into the new website directory (overwriting the file there). Then we are good to go.
ping @tamiko
@tjhei on it
@tjhei .I would like to minimize the amount of cronjobs/services needed in order to piece together the website. So let's quickly discuss some alternatives to wget'ting the file on the server. What about we add a fine-grained access token to the website repository so that your update script that is currently creating Actually let me just put it in place for now.output.html
simply updates the file in the website repository directly? (For example by creating a pull request and then merging it.)
We currently manually added output.html from https://ci.tjhei.info/job/publication-list/job/master/lastSuccessfulBuild/artifact/output.html