diff website/src/manual.html.luan @ 1717:c637a2a1023d

add String.replace
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 25 Jul 2022 11:16:53 -0600
parents b82767112d8e
children 5603ee8e2a71
line wrap: on
line diff
--- a/website/src/manual.html.luan	Sun Jul 24 23:43:03 2022 -0600
+++ b/website/src/manual.html.luan	Mon Jul 25 11:16:53 2022 -0600
@@ -2688,6 +2688,16 @@
 <%
 						end
 					}
+					["String.replace"] = {
+						title = "<code>String.replace (s, target, replacement)</code>"
+						content = function()
+%>
+<p>
+Returns a string where each substring <code>target</code> in <code>s</code> is replaced by <code>replacement</code>.
+</p>
+<%
+						end
+					}
 					["String.reverse"] = {
 						title = "<code>String.reverse (s)</code>"
 						content = function()