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