6 Commits (623579a47f1fd169ba9503bd71550c3fcce76b21)

Author	SHA1	Message	Date
Davide Bertola	7f33d67e8c	xtask: fix linting warnings on docs()	3 years ago
Dave Tucker	67951cd2d7	xtask: Fix docs generation ... Publish user/kernel space docs seperately. Add an index.html at the root for navigation. Ensure that search engines don't index these pages. Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
crabby-the-crab	de4e97aa51	Revert "docs: Merge search indexes"	3 years ago
Dave Tucker	a00d16dc0e	docs: Merge search indexes ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
Dave Tucker	ba312c48d5	xtask: Add all crates to sidebar ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago
Dave Tucker	8205bee930	xtask: Add docs build ... Signed-off-by: Dave Tucker <dave@dtucker.co.uk>	3 years ago