move documentation to docs folder

This commit is contained in:
Robert 2022-12-19 14:23:57 +01:00
parent 3c8b790e7f
commit c3a9f96b10
67 changed files with 208 additions and 40 deletions

View file

@ -8,11 +8,16 @@ bench:
cargo bench
doc:
rm -rf doc
rm -rf docs
rm -rf target/doc
cargo doc --no-deps
cp -r target/doc .
mkdir -p docs
cp -r target/doc/* docs
echo "Adding index.html"
@echo "<!DOCTYPE html>" > docs/index.html
@echo "<meta http-equiv='refresh' content='0; URL=b15f/index.html'>" >> docs/index.html
@echo "<link rel='canonical' href='b15f/index.html'>" >> docs/index.html
all: b15f test
.PHONY: all
.PHONY: all