diff options
| author | Carl Hetherington <cth@carlh.net> | 2019-05-07 11:35:07 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2019-05-07 11:35:46 +0100 |
| commit | 2df5e3ab3636e0c38c3003631d0d6acdb5bd23c6 (patch) | |
| tree | a6617536a14f63c5b3a49ae423a93feb6a9d1b65 /doc/manual/Makefile | |
| parent | 2d2dbb9858d9d5c81e7e4aae63e6b34799b540d3 (diff) | |
Fix manual build.
Diffstat (limited to 'doc/manual/Makefile')
| -rw-r--r-- | doc/manual/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual/Makefile b/doc/manual/Makefile index 8e19040b7..f7120493e 100644 --- a/doc/manual/Makefile +++ b/doc/manual/Makefile @@ -68,6 +68,9 @@ diagrams/%.pdf: diagrams/%.svg config.xml: ../../src/lib/config.cc config.py python3 config.py ../../src/lib/config.cc > config.xml +# These require the tools to be runnable, so make needs to be run +# in a built tree to update them. The .xml files are committed +# to git to avoid this always being necessary. dcpomatic_create.xml: ../../src/tools/dcpomatic_create.cc cli.py python3 cli.py dcpomatic_create > dcpomatic_create.xml |