#!/bin/bash cargo doc; rm -r docs; mv target/doc docs; echo "" > docs/index.html;