• Raymond Toy's avatar
    Copy site pages to gen directory · ce958b67
    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