https://github.com/friguzzi/cplint
Tip revision: 68d041fd5d49e88de6bfa33cdc9e9f5c8ff4baf6 authored by Fabrizio Riguzzi on 08 February 2024, 07:58:50 UTC
mc_particle_sample/4 available
mc_particle_sample/4 available
Tip revision: 68d041f
gen_pldoc.pl
:- use_module(library(pldoc)).
:- use_module(library(doc_files)).
:- use_module(library(filesex)).
:- initialization(gen_doc, main).
doc_file(cplint_util).
doc_file(pita).
doc_file(mcintyre).
doc_file(slipcover).
doc_file(viterbi).
doc_file(kbest).
doc_file(pitaind).
doc_file(lemur).
doc_file(highlight).
load_all :-
ensure_loaded(library(clpr)),
forall(doc_file(File),
( directory_file_path('../prolog', File, Path),
ensure_loaded(Path))).
gen_doc :-
load_all,
Opts = [ doc_root('./pldoc'),
include_reexported(false)
],
forall(doc_file(File),
( directory_file_path('../prolog', File, Path),
doc_save(Path, Opts))).