#!/bin/sh
make docs