diff options
author | Alexander Strasser <eclipse7@gmx.net> | 2011-12-20 00:27:22 +0100 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2011-12-20 16:05:01 +0100 |
commit | e5cbf24e45ed21178674fff8f485d919128b793c (patch) | |
tree | 16de968d9ef5968e8ec3bd50af57581353a6986f /doc/general.texi | |
parent | f1622a17fd8f2979e164304b09b56072529d5d02 (diff) | |
download | ffmpeg-e5cbf24e45ed21178674fff8f485d919128b793c.tar.gz |
doc: build: TEXIDEP: Recognize verbatim includes
When generating the .dep files for .texi sources, verbatim includes
(@verbatiminclude) should also be taken into account.
Signed-off-by: Alexander Strasser <eclipse7@gmx.net>
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'doc/general.texi')
0 files changed, 0 insertions, 0 deletions