GitHub user PepperJo opened a pull request:
https://github.com/apache/incubator-crail/pull/62
Build instructions and history update
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/PepperJo/incubator-crail build_instr
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/incubator-crail/pull/62.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #62
----
commit ec2fe1499bcb7d170aa58b6318b41755fb4dd4eb
Author: Jonas Pfefferle <pepperjo@...>
Date: 2018-11-05T13:40:24Z
[Documentation] include doc generation in README
Include description how to generate documentation in README.
Signed-off-by: Jonas Pfefferle <[email protected]>
commit 8734cf309c79c78e9a84c03ecf4d00f4b65fada8
Author: Jonas Pfefferle <pepperjo@...>
Date: 2018-11-05T13:46:11Z
[Documentation] update HISTORY
Update HISTORY.
Signed-off-by: Jonas Pfefferle <[email protected]>
----
---
