-
Raymond Toy authored
Copy the site pages to the gen directory, which is cached, so that they can be copied to the public directory when deployed. Modified texi to force generation of manuals.
51c59269
Validating GitLab CI configuration…
Learn more