Availability:
:- use_module(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.