# file is for codec conversion
python3-plastex: national-encoding [usr/lib/python3/dist-packages/plasTeX/Base/LaTeX/ent.xml]
# module metadata is not documentation
python3-plastex: package-contains-documentation-outside-usr-share-doc [usr/lib/python3/dist-packages/*.dist-info/top_level.txt]
# module data is not documentation
python3-plastex: package-contains-documentation-outside-usr-share-doc [usr/lib/python3/dist-packages/plasTeX/Base/LaTeX/allkeys.txt]
python3-plastex: package-contains-documentation-outside-usr-share-doc [usr/lib/python3/dist-packages/plasTeX/Renderers/*/default-layout.html]
python3-plastex: package-contains-documentation-outside-usr-share-doc [usr/lib/python3/dist-packages/plasTeX/Renderers/XHTML/alltt.html]
python3-plastex: image-file-in-usr-lib [usr/lib/python3/dist-packages/plasTeX/Renderers/*/Themes/*/*.gif]
python3-plastex: image-file-in-usr-lib [usr/lib/python3/dist-packages/plasTeX/Renderers/*/Themes/*/*.png]
python3-plastex: package-contains-documentation-outside-usr-share-doc [usr/lib/python3/dist-packages/plasTeX/Renderers/*/Themes/*/document-layout.html]
python3-plastex: repeated-path-segment default [usr/lib/python3/dist-packages/plasTeX/Renderers/S5/Themes/default/ui/default/]
|