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