comparison website/src/goodjava.html.luan @ 1929:31f006c64782

translation
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 01 May 2025 18:31:05 -0600
parents 50e570b598b2
children
comparison
equal deleted inserted replaced
1928:e16f38f4fdfc 1929:31f006c64782
1 local Luan = require "luan:Luan.luan" 1 local Luan = require "luan:Luan.luan"
2 local error = Luan.error 2 local error = Luan.error
3 local Io = require "luan:Io.luan" 3 local Io = require "luan:Io.luan"
4 local Http = require "luan:http/Http.luan" 4 local Site_translator = require "luan:gpt/Site_translator.luan"
5 local get_lang = Site_translator.get_lang or error()
6 local text_writer = Site_translator.text_writer or error()
5 local Shared = require "site:/lib/Shared.luan" 7 local Shared = require "site:/lib/Shared.luan"
6 local head = Shared.head or error() 8 local head = Shared.head or error()
7 local header = Shared.header or error() 9 local header = Shared.header or error()
8 local show_toc = Shared.show_toc or error() 10 local show_toc = Shared.show_toc or error()
9 local show_content = Shared.show_content or error() 11 local show_content = Shared.show_content or error()
98 } 100 }
99 } 101 }
100 102
101 103
102 return function() 104 return function()
103 Io.stdout = Http.response.text_writer() 105 Io.stdout = text_writer()
104 %> 106 %>
105 <!doctype html> 107 <!doctype html>
106 <html> 108 <html lang="<%=get_lang()%>">
107 <head> 109 <head>
108 <% head() %> 110 <% head() %>
109 <title>The goodjava Library</title> 111 <title>The goodjava Library</title>
110 </head> 112 </head>
111 <body> 113 <body>