[tracker] (4 commits) ...Merge branch 'wip/carlosg/dist-docs' into 'master'



Summary of changes:

  36343d8... docs: Fix dist (*)
  e01295d... docs: Refactor devhelp generation scripts (*)
  0adb58e... build: Ship devhelp docs in tarball (*)
  051147c... Merge branch 'wip/carlosg/dist-docs' into 'master'

(*) This commit already existed in another branch; no separate mail sent


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]