- From: Bert Bos <bert@w3.org>
- Date: Fri, 22 Apr 2022 16:16:24 +0200
- To: www-math@w3.org
- Message-ID: <5126225.qsjhNCkIF2@nyx>
Our GitHub repositories use the GitHub Pages service to serve the latest versions of documents in each repo. Currently, it serves exact copies of the documents, which are ReSpec source documents. The browser needs to run the ReSpec script to make a document readable. But it is also possible to let GitHub Pages run ReSpec on the server and serve the result. The advantage is that the document is more accessible. It also renders faster (and renders even in a browser without JavaScript). There is a recipe here: https://w3c.github.io/spec-prod/#deploy-to-github-pages Shall we set GitHub up that way? Bert -- Bert Bos ( W 3 C ) http://www.w3.org/ http://www.w3.org/people/bos W3C/ERCIM bert@w3.org 2004 Rt des Lucioles / BP 93 +33 (0)4 92 38 76 92 06902 Sophia Antipolis Cedex, France
Received on Friday, 22 April 2022 14:16:33 UTC