-
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.
ce958b67
Validating GitLab CI configuration…
Learn more