I am working on this. I was not able to assign this issue. @zbyszek should FESCo members have admin rights here?

I added @fesco now as admin. It wasn't before. Not sure why. Please try again.

I see settings. Thanks

The PR is merged, and I pushed a commit to add the new page to navigation structure and another to do some title cleanup. But the docs on https://docs.fedoraproject.org/en-US/fesco/ are not updating ;(

Once it does, we should redirect the wiki here.

The fact that the website updates automatically after pushing to git was listed as one of the main advantages of antora. A ticket probably needs to be opened somewhere, but I have no idea where.

Sorry there was something wrong with the build script — I've restarted it and it works fine now, rebuilding the site every hour.

I've restarted it

Thanks! The new page is now visible at https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install. I'll update the old wiki page too.

@zbyszek Note that by using the !old" heading syntax, asciidocotor switched to "old" rendering and had to remove the pluses in escaped inline examples.

https://pagure.io/fesco/fesco-docs/c/bb19d74e11f7915ad41fcdd450706008ec95395e?branch=master