Skip to content
  • Karl Wette's avatar
    Common generation of include header links · 299f7273
    Karl Wette authored
    - Header links are now generated during "make dist", since
      they made be needed by generated distribution sources
    Original: cc77df3a1e7f81699c2f99656edaa305d64bbaa4
    299f7273