aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/advanced-topics/advanced-topics.xml
AgeCommit message (Expand)Author
2019-08-07Merge pull request #2995 from tweag/post-build-hookEelco Dolstra
2019-08-02Add a post-build-hookregnat
2019-07-19docs: document balancing cores and max-jobsGraham Christensen
2019-05-12build: run diff-hook under --check and document diff-hookGraham Christensen
2018-08-31docs: Add IDs to important sectionsGraham Christensen
2014-12-14Rename filesEelco Dolstra