Tested on Fedora 20.
Crístian Viana (2):
fix: Build new DITA pages when running "make"
Build help index page only once
ui/pages/help/Makefile.am | 6 ++++--
ui/pages/help/gen-index.py | 20 ++++++++++++--------
2 files changed, 16 insertions(+), 10 deletions(-)
--
1.8.5.3