]> git.eshelyaron.com Git - sweep.git/commitdiff
ENHANCED: annotate predicates with the summaries from the manual
authorEshel Yaron <me@eshelyaron.com>
Sat, 27 Aug 2022 18:19:50 +0000 (21:19 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 27 Aug 2022 18:19:50 +0000 (21:19 +0300)
sweep.pl

index ee9bb66e1049b8122b33838cd1b611943ad42972..3a2991b4d91011954995f1ac9ad40362fc1deaa6 100644 (file)
--- a/sweep.pl
+++ b/sweep.pl
@@ -15,6 +15,7 @@
 :- use_module(library(pldoc/doc_wiki)).
 :- use_module(library(pldoc/doc_modes)).
 :- use_module(library(pldoc/doc_man)).
+:- use_module(library(pldoc/man_index)).
 :- use_module(library(lynx/html_text)).
 
 :- dynamic sweep_current_color/3,
@@ -210,13 +211,6 @@ sweep_predicate_description(M:F/N, [S|T]) :-
 
 sweep_predicate_description_(M, F, N, [D]) :-
     doc_comment(M:F/N, _, D0, _), !, atom_string(D0, D).
-% sweep_predicate_description_(_M, F, N, [D]) :-
-%     pldoc_man:load_man_object(F/N, _, _, Dom),
-%     with_output_to(string(DomS), html_text(Dom, [])),
-%     sub_string(DomS, EOL, _, _, '\n'),
-%     sub_string(DomS, EOL, _, 0, Rest),
-%     (   sub_string(Rest, EOS, _, _, '. ')
-%     ->  sub_string(Rest, 0, EOS, _, D)
-%     ;   D=Rest
-%     ).
+sweep_predicate_description_(_M, F, N, [D]) :-
+    man_object_property(F/N, summary(D0)), !, atom_string(D0, D).
 sweep_predicate_description_(_, _, _, []).