Bump version in docos.

michaelrsweet · michaelrsweet · commit 48f878925cd5 · 2024-11-21T15:23:51.000-05:00
diff --git a/doc/1-intro.html b/doc/1-intro.html
@@ -2,7 +2,7 @@
 <head>
 	<meta name="author" content="Michael R Sweet">
 	<meta name="copyright" content="Copyright &copy; 1997-2024, All Rights Reserved.">
-	<meta name="docversion" content="htmldoc-1.9.18">
+	<meta name="docversion" content="htmldoc-1.9.19">
 	<meta name="keywords" content="Software">
 	<title>HTMLDOC Users Manual</title>
 </head>
