diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2015-05-27 13:23:01 +0300 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2015-05-27 13:23:01 +0300 |
commit | 1cf87e1680423370d26d4e20d4591a6561aa12b9 (patch) | |
tree | 93287a16fea92e8f2415bf4d1af80d4dc471384c /doc/build_system.txt | |
parent | 073f4b93b27065fd8b19034572df6da11f6928a6 (diff) |
doc/build_system: Document GEN, text taken from the webpage
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'doc/build_system.txt')
-rw-r--r-- | doc/build_system.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/build_system.txt b/doc/build_system.txt index 20242b1353..1efe6b5399 100644 --- a/doc/build_system.txt +++ b/doc/build_system.txt @@ -16,6 +16,9 @@ DESTDIR Destination directory for the install targets, useful to prepare packages or install FFmpeg in cross-environments. +GEN + Set to ‘1’ to generate the missing or mismatched references. + Makefile targets: all |