reexported pred are not documented, inserted link to doc of reexporte…

…d modules
friguzzi · Dec 11, 2023 · cc84f13 · cc84f13
1 parent c369591
commit cc84f13
Show file tree

Hide file tree

Showing 10 changed files with 428 additions and 1,219 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,4 +9,11 @@ doc/manual.blg
 doc/manual.log
 doc/manual.out
 
-*.dot
+*.dot
+*.aux
+*.sty
+*.log
+*.toc
+*.fls
+*.out
+*.fdb_latexmk
diff --git a/docs/gen_pldoc.pl b/docs/gen_pldoc.pl
@@ -21,7 +21,7 @@
 gen_doc :-
     load_all,
     Opts = [ doc_root('./pldoc'),
-             include_reexported(true)
+             include_reexported(false)
            ],
 
     forall(doc_file(File),

diff --git a/docs/pldoc/lemur.html b/docs/pldoc/lemur.html
diff --git a/docs/pldoc/mcintyre.html b/docs/pldoc/mcintyre.html
diff --git a/docs/pldoc/pita.html b/docs/pldoc/pita.html
diff --git a/docs/pldoc/slipcover.html b/docs/pldoc/slipcover.html
diff --git a/prolog/lemur.pl b/prolog/lemur.pl
@@ -15,6 +15,8 @@
 See https://friguzzi.github.io/cplint/ for
 details.
 
+Reexports [slipcover](https://friguzzi.github.io/cplint/pldoc/slipcover.html)
+
 @author Nicola di Mauro, Fabrizio Riguzzi, Elena Bellodi
 @license Artistic License 2.0
 @copyright Nicola di Mauro, Fabrizio Riguzzi, Elena Bellodi

diff --git a/prolog/mcintyre.pl b/prolog/mcintyre.pl
@@ -64,6 +64,8 @@
 
 See  https://friguzzi.github.io/cplint/ for details.
 
+Reexports [cplint_util](https://friguzzi.github.io/cplint/pldoc/cplint_util.html) and [clpr](https://www.swi-prolog.org/pldoc/man?section=clpqr).
+
 @author Fabrizio Riguzzi
 @license Artistic License 2.0 https://opensource.org/licenses/Artistic-2.0
 @copyright Fabrizio Riguzzi

diff --git a/prolog/pita.pl b/prolog/pita.pl
@@ -34,6 +34,8 @@
 See https://friguzzi.github.io/cplint/ for
 details.
 
+Reexports [cplint_util](https://friguzzi.github.io/cplint/pldoc/cplint_util.html) and [bddem](https://friguzzi.github.io/bddem/)
+
 @author Fabrizio Riguzzi
 @license Artistic License 2.0 https://opensource.org/licenses/Artistic-2.0
 @copyright Fabrizio Riguzzi

diff --git a/prolog/slipcover.pl b/prolog/slipcover.pl
@@ -35,6 +35,8 @@
 See https://friguzzi.github.io/cplint/ for
 details.
 
+Reexports [bddem](https://friguzzi.github.io/bddem/)
+
 @author Fabrizio Riguzzi, Elena Bellodi
 @license Artistic License 2.0
 @copyright Fabrizio Riguzzi, Elena Bellodi