Files
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prelude |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prelude/html |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/prelude/html/prelude |
| -rw-r--r-- | 1791 | root | root | /usr/share/doc/prelude/html/prelude-api.sgml |
| -rw-r--r-- | 10529 | root | root | /usr/share/doc/prelude/html/prelude-decl.txt |
| -rw-r--r-- | 2330 | root | root | /usr/share/doc/prelude/html/prelude-sections.txt |
