Availability::- use_module(library(pldoc/doc_html)).
- doc_for_file(+File, +Options) is det
- HTTP handler that writes documentation for File as HTML.
Options:
- public_only(+Bool)
- If
true (default), only emit documentation for
exported predicates.
- edit(Bool)
- If
true, provide edit buttons. Default, these buttons
are suppressed.
- title(+Title)
- Specify the page title. Default is the base name of the
file.
- Arguments:
-
| File | - Prolog file specification or xref source id. |