diff options
author | Alexander Strasser <eclipse7@gmx.net> | 2011-12-20 03:27:22 +0400 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2011-12-20 19:05:01 +0400 |
commit | e5cbf24e45ed21178674fff8f485d919128b793c (patch) | |
tree | 16de968d9ef5968e8ec3bd50af57581353a6986f /doc/fate.texi | |
parent | f1622a17fd8f2979e164304b09b56072529d5d02 (diff) |
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/fate.texi')
0 files changed, 0 insertions, 0 deletions