Rename home.md to index.md

Author: timohanke

README.md

@@ -1,7 +1,7 @@
 # motoko-lib
 Motoko general purpose libraries
 
-See documentation here: https://research-ag.github.io/motoko-lib/home/
+See documentation here: https://research-ag.github.io/motoko-lib/
 
 ## Use this library
 

docs/Makefile

@@ -3,15 +3,15 @@
 modules := $(shell ls ../src/*.mo)
 
 targets := $(modules:../src/%.mo=modoc/%.md)
-temps := $(modules:../src/%.mo=%.md)
+temps := $(modules:../src/%.mo=modoc-tmp/%.md)
 
 all: $(targets)
 
-$(targets): modoc/%.md: %.md
+$(targets): modoc/%.md: modoc-tmp/%.md
 	sed -e 's/no-repl//' <$^ >$@
 
-$(temps): %.md: ../src/%.mo
-	cd ..; mo-doc --format plain
+$(temps): modoc-tmp/%.md: ../src/%.mo
+	mo-doc --source ../src --output modoc-tmp --format plain
 
 clean:
-	rm Sha256.md Sha512.md Vector.md index.md 
+	rm -r modoc-tmp 

docs/home.md docs/index.md

@@ -4,7 +4,7 @@ repo_url: https://github.com/research-ag/motoko-lib
 site_url: https://research-ag.github.io/motoko-lib/
 copyright: Copyright © 2023 MR Research AG
 nav:
-  - Home: home.md
+  - Home: index.md
   - Modules:
     - Sha256/512: modules/sha2.md
     - Vector: modules/vector.md