This file is indexed.

/usr/share/doc/ is in tex4ht 20090611-1.1+b1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc-base/tex4ht text/plain root:root 0o644 298 bytes
/usr/share/doc/tex4ht/ root:root 0o755
/usr/share/doc/tex4ht/bugfixes.txt text/plain root:root 0o644 1.3 KB
/usr/share/doc/tex4ht/README.Debian.gz application/gzip root:root 0o644 2.8 KB
/usr/share/doc/tex4ht/README.kpathsea.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/tex4ht/copyright text/plain root:root 0o644 20.9 KB
/usr/share/doc/tex4ht/bugfixes3.txt.gz application/gzip root:root 0o644 3.2 KB
/usr/share/doc/tex4ht/README.validate text/plain root:root 0o644 2.3 KB
/usr/share/doc/tex4ht/changelog.Debian.gz application/gzip root:root 0o644 8.3 KB
/usr/share/doc/tex4ht/README.scripts text/plain root:root 0o644 2.3 KB
/usr/share/doc/tex4ht/bugfixes2.txt.gz application/gzip root:root 0o644 1.9 KB
/usr/share/doc/tex4ht/bugfixes4.txt.gz application/gzip root:root 0o644 12.2 KB
/usr/share/doc/tex4ht/README.Debian-source.gz application/gzip root:root 0o644 2.3 KB
/usr/share/doc/tex4ht/NEWS.Debian.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/tex4ht/OLDNEWS.Debian text/plain root:root 0o644 3.3 KB
/usr/share/doc/tex4ht/html/ root:root 0o755
/usr/share/doc/tex4ht/html/tex4ht_doc.tex.gz application/gzip root:root 0o644 3.7 KB
/usr/share/doc/tex4ht/html/tex4ht_doc3.html text/html root:root 0o644 995 bytes
/usr/share/doc/tex4ht/html/bg.cfg text/x-tex root:root 0o644 129 bytes
/usr/share/doc/tex4ht/html/bgimage.png image/png root:root 0o644 45.4 KB
/usr/share/doc/tex4ht/html/tex4ht_doc.html text/html root:root 0o644 23.3 KB
/usr/share/doc/tex4ht/html/tex4ht_doc0x.png image/png root:root 0o644 599 bytes
/usr/share/doc/tex4ht/html/tex4ht_doc2.html text/html root:root 0o644 977 bytes
/usr/share/doc/tex4ht/html/tex4ht_doc.css text/plain root:root 0o644 6.2 KB
/usr/share/doc/tex4ht/NEWS root:root 0o777
/usr/share/doc/tex4ht/changelog.gz root:root 0o777
/usr/share/doc/tex4ht/html/index.html root:root 0o777