diff website/src/manual.html.luan @ 1938:bd00b36380d9 default tip

ai options
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 16 May 2025 17:20:29 -0600
parents 31f006c64782
children
line wrap: on
line diff
--- a/website/src/manual.html.luan	Thu May 15 19:12:05 2025 -0600
+++ b/website/src/manual.html.luan	Fri May 16 17:20:29 2025 -0600
@@ -6,7 +6,7 @@
 local Table = require "luan:Table.luan"
 local concat = Table.concat or error()
 local Io = require "luan:Io.luan"
-local Site_translator = require "luan:gpt/Site_translator.luan"
+local Site_translator = require "luan:ai/Site_translator.luan"
 local get_lang = Site_translator.get_lang or error()
 local text_writer = Site_translator.text_writer or error()
 local languages = Site_translator.languages or error()
@@ -17,7 +17,9 @@
 local show_toc = Shared.show_toc or error()
 local show_content = Shared.show_content or error()
 local show_content_info = Shared.show_content_info or error()
-local Translator = require "luan:gpt/Translator.luan"
+local Ai = require "luan:ai/Ai.luan"
+local require_ai = Ai.require_ai or error()
+local Translator = require_ai "Translator.luan"
 local translate_html = Translator.translate_html or error()
 local Logging = require "luan:logging/Logging.luan"
 local logger = Logging.logger "manual.html"
@@ -3746,11 +3748,11 @@
 		html = replace( html, "<div placeholder></div>", `show_content(content,2)` )
 	else
 		local language = languages[lang] or error(lang)
-		html = translate_html(html,language)
+		html = translate_html(html,language,true)
 		local parts = {}
 		for id, info in pairs(content) do
 			local part = `show_content_info(id,info,2)`
-			part = translate_html(part,language)
+			part = translate_html(part,language,true)
 			parts[#parts+1] = part
 		end
 		html = replace( html, "<div placeholder></div>", concat(parts) )