diff options
| author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-04-11 20:53:33 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-04-11 20:53:33 +0200 |
| commit | 7fdbd1bb58192650bec067a0f224c1fa971c6782 (patch) | |
| tree | c218c9eb8a75ab9ca651f11a892fe7e05fea0176 /runtime/doc | |
| parent | 58ce78ad438deefec54fd6206166ca2794cd6efe (diff) | |
patch 9.1.0307: filetype: texdoc config files is not recognizedv9.1.0307
Problem: filetype: texdoc config files is not recognized
Solution: Detect 'texdoc.cnf' as conf filetype
(Wu, Zhenyu)
See: https://github.com/TeX-Live/texdoc/blob/master/texdoc.cnf
closes: #14507
Signed-off-by: Wu, Zhenyu <wuzhenyu@ustc.edu>
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to 'runtime/doc')
0 files changed, 0 insertions, 0 deletions