diff options
| author | Phil Dawson <phil.dawson@codethink.co.uk> | 2018-06-27 11:59:30 +0100 |
|---|---|---|
| committer | Phil Dawson <phil.dawson@codethink.co.uk> | 2018-08-01 09:05:45 +0100 |
| commit | dc60b71303eb9f69d32be7874fd3fefbe841dc30 (patch) | |
| tree | 526876c31a88406b4b0d9ab5e5821cad8a3dd3de /doc/Makefile | |
| parent | 8c0522adde2a1dac10d52171cee701068e74631e (diff) | |
| download | buildstream-dc60b71303eb9f69d32be7874fd3fefbe841dc30.tar.gz | |
tutorials: Add workspaces tutorial
This is part of the work towards issue #437
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 381ab90ad..9a5e98754 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -121,7 +121,8 @@ html devhelp: templates sessions $(wildcard source/advanced-features/*.rst) \ $(wildcard source/examples/*.rst) \ $(wildcard source/elements/*.rst) \ - $(wildcard source/sources/*.rst) + $(wildcard source/sources/*.rst) \ + $(wildcard source/developing/*.rst) @echo @echo "Build of $@ finished, output: $(CURDIR)/$(BUILDDIR)/$@" # Makefile for Sphinx documentation |