Diff of /docs/Makefile [000000] .. [d45a3a]

Switch to unified view

a b/docs/Makefile
1
.PHONY: help clean build
2
3
help:
4
    @echo "Please use \`make <target>' where <target> is one of"
5
    @echo "  build      to generate a static webpage"
6
    @echo "  serve      start mkdocs serve on port 8000"
7
    @echo "  clean      clean the generated files"
8
    @echo "  push       push the repository to ouga"
9
10
build:
11
    mkdir -p theme_dir/img/ipynb/
12
    ./render_ipynb.bash
13
    pydocmd build
14
    @echo "Build finished"
15
16
serve:
17
    pydocmd serve
18
19
clean:
20
    rm -r site sources mkdocs.yml