* Adds a "make doc" command, outputting documentation in $BUILD_DIR/doc
Attach a file by drag & drop or click to upload
