Fixed #930: make git-docs is broken
Fixed #918: Link to hello_world.cpp is broken