docs for highlight

friguzzi · Dec 11, 2023 · 804265f · 804265f
1 parent cc84f13
commit 804265f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docs/gen_pldoc.pl b/docs/gen_pldoc.pl
@@ -12,6 +12,8 @@
 doc_file(kbest).
 doc_file(pitaind).
 doc_file(lemur).
+doc_file(highlight).
+
 load_all :-
     ensure_loaded(library(clpr)),
     forall(doc_file(File),

diff --git a/docs/pldoc/highlight.html b/docs/pldoc/highlight.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html>
 <head>
-<title>cplint</title>
+<title>highlight.pl -- SWI-Prolog IDE and SWISH highlighting</title>
 
 <link rel="stylesheet" type="text/css" href="pldoc.css">
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">