summaryrefslogtreecommitdiff
path: root/build/Makefile
AgeCommit message (Expand)Author
2020-01-18Correct filename syntax for PDF and TXT formats, when building for the websit...Holger Wansing
2017-03-30Makefile: Mention the exact ./buildone.sh command to be run.Cyril Brulebois
2015-04-18Avoid copying .svn directory, should fix JenkinsSamuel Thibault
2015-04-18debug why jenkins fails to build manualSamuel Thibault
2015-04-17Fix moving the html images when destination already contains a built manual. ...Samuel Thibault
2015-04-17Add missing "set -e" in build/Makefile to trap build failures.Samuel Thibault
2014-09-15Add arch-parallel build supportSamuel Thibault
2013-03-10Suffix web documents with http lang ids rather than locale lang ids, for work...Samuel Thibault
2012-08-27Add language-parallel build support.Samuel Thibault