Skip to content

Distribute generated files (OMDoc, ...)  #5

Open
Open
Distribute generated files (OMDoc, ...) #5
Labels
internal-prio-nextWill work on this nextproject-MHDocRelated to MathHub Document Projecttracker-projecta top-level project, which can have sub-issues.

Description

@tkw1536
tkw1536
opened on Apr 3, 2019
  • implement generated content branches inside mmt/lmh
  • automatically pull and re-load regularly or when an archive changes.
  • document this in the wiki page

Metadata

Metadata

Assignees

No one assigned

    Labels

    internal-prio-nextWill work on this nextproject-MHDocRelated to MathHub Document Projecttracker-projecta top-level project, which can have sub-issues.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions