Fix documentation generation (#1387)

* testing

* Add --print-metadata flag

* Minor fix

.github/workflows/ci.yml

@@ -229,6 +229,6 @@ jobs:
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: _docs
+          publish_dir: main/_docs
           enable_jekyll: false
           cname: docs.juvix.org

Makefile

@@ -150,7 +150,7 @@ html-examples: $(EXAMPLES)
 $(EXAMPLES):
 	$(eval OUTPUTDIR=$(EXAMPLEHTMLOUTPUT)/$(dir $@))
 	mkdir -p ${OUTPUTDIR}
-	juvix html $(EXAMPLEMILESTONE)/$@ --recursive --output-dir=./../../../${OUTPUTDIR}
+	juvix html $(EXAMPLEMILESTONE)/$@ --recursive --output-dir=./../../../${OUTPUTDIR} --print-metadata
 
 .PHONY : install-pre-commit
 install-pre-commit: