aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile
AgeCommit message (Collapse)Author
2020-10-13Fix docs MakefileEivind Fonn
2020-05-27Fixed make clean and doc buildSanel Zukan
When sphinx is not found, make clean (and others) will fail. This change prevents running sphinx if sphinx-build binary is not found. Here is used 'command' instead of 'which', for checking presence of binary in PATH, to make it more portable across shells and unixes.
2019-12-19Use sphinx for documentationEivind Fonn
2019-12-11Create a doc makefileEivind Fonn