Age | Commit message (Expand) | Author |
---|---|---|
2020-07-31 | Remove de from makefile. | pierreozoux |
2020-01-18 | Remove server php docs build | Julius Härtl |
2018-12-07 | Properly pass the branch to get-server-sources.sh | John Molakvoæ (skjnldsv) |
2018-12-07 | Add icons to build script, fix script and icons page design | John Molakvoæ (skjnldsv) |
2018-09-10 | Test build without pdf | John Molakvoæ (skjnldsv) |
2018-05-16 | Build docs from master | Julius Härtl |
2018-01-30 | Master of docs is stable13 manual | Morris Jobke |
2017-12-05 | Ignore nonexisitng api docs directory when building | Julius Härtl |
2017-12-05 | Reorder Makefile tasks | Morris Jobke |
2017-12-03 | Move to build directory | Julius Härtl |
2017-12-03 | Add PHPDoc to developer_docs | Julius Härtl |
2017-02-16 | Update Makefile | Lukas Reschke |
2017-02-16 | Adjust build file for de files | Lukas Reschke |
2016-07-13 | Allow building all HTML only | Joas Schilling |
2016-07-13 | Add makefile to generate all PDFs and HTML pages at once | Morris Jobke |