on ddab00a help sign in
all commits
9485179[mod] move brand options from Makefile to settings.ymlMarkus Heiser 3beede7[doc] describe 'make books/{name}.html' and 'books/{name}.pdf'Markus Heiser 482da5cCorrect what was obviously a typo in vir(t)ualenv.Pierre Chevalier 4e307eddocs: document Makefile setup and 'buildenv' (aka brand)Markus Heiser 0742c25build environment: add GIT_BRANCH variableMarkus Heiser 7b4cf2etooling box: simplify build enviromentsMarkus Heiser 9278f0fdocs: add some documentation about the tooling box ./utils/*Markus Heiser bdf3920build requirements: add a shell script static analysis toolMarkus Heiser bee19a7doc: add reST primer (inital / WIP)Markus Heiser 2b45269edoc: -- makefile.rst fix typo and add extlinks['man']Markus Heiser f09459bdoc: describe Makefile targetsMarkus Heiser