biod.pnpi.spb.ru / alexxy / gromacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72ed575) | patch
Change handling for missing releng docs
authorTeemu Murtola <teemu.murtola@gmail.com>
Wed, 6 Jul 2016 18:27:39 +0000 (21:27 +0300)
committerErik Lindahl <erik.lindahl@gmail.com>
Thu, 7 Jul 2016 15:59:05 +0000 (17:59 +0200)
commitfef652922ef16c43d1cc54919a3101fd4091bb70
tree4ea7575fcfd40fd0c15c2a22481a5f2acd7470bctree | snapshot
parent72ed575f236fe0554f546cb782e140c3f0ab9b6ecommit | diff
Change handling for missing releng docs

Use a placeholder document from the source tree instead of generating it
on the fly in case RELENG_PATH is not set.

Also fix other warnings that got generated with RELENG_PATH not set.

Fixes #2000

Change-Id: I80b075a39eeff36e64b78cd58b09bc5bdde6ffad
docs/CMakeLists.txt diff | blob | history
docs/SphinxMacros.cmake diff | blob | history
docs/dev-manual/releng/index.rst [new file with mode: 0644] blob
docs/dev-manual/releng/jenkins-howto.rst [new file with mode: 0644] blob
docs/dev-manual/releng/jenkins-ui.rst [new file with mode: 0644] blob
Local GROMACS mirror with custom stuff