summaryrefslogtreecommitdiff
path: root/doc/Makefile
AgeCommit message (Expand)Author
2020-02-25doc/Makefile: turn warnings into errorsHeinrich Schuchardt
2019-06-20doc: Remove duplicated documentation directoryBreno Matheus Lima