annotate website/src/docs.html.luan @ 1929:31f006c64782

translation
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 01 May 2025 18:31:05 -0600
parents 1461449b6074
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
1 local Luan = require "luan:Luan.luan"
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
2 local error = Luan.error
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
3 local Io = require "luan:Io.luan"
1929
31f006c64782 translation
Franklin Schmidt <fschmidt@gmail.com>
parents: 1927
diff changeset
4 local Site_translator = require "luan:gpt/Site_translator.luan"
31f006c64782 translation
Franklin Schmidt <fschmidt@gmail.com>
parents: 1927
diff changeset
5 local get_lang = Site_translator.get_lang or error()
31f006c64782 translation
Franklin Schmidt <fschmidt@gmail.com>
parents: 1927
diff changeset
6 local text_writer = Site_translator.text_writer or error()
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
7 local Shared = require "site:/lib/Shared.luan"
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
8 local head = Shared.head or error()
1652
d5779a264a4a docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1651
diff changeset
9 local docs_header = Shared.docs_header or error()
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
10
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
11
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
12 return function()
1929
31f006c64782 translation
Franklin Schmidt <fschmidt@gmail.com>
parents: 1927
diff changeset
13 Io.stdout = text_writer()
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
14 %>
1216
5dbb552075ff doctype
Franklin Schmidt <fschmidt@gmail.com>
parents: 693
diff changeset
15 <!doctype html>
1929
31f006c64782 translation
Franklin Schmidt <fschmidt@gmail.com>
parents: 1927
diff changeset
16 <html lang="<%=get_lang()%>">
391
2f5cc9c2cbf0 replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents: 387
diff changeset
17 <head>
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
18 <% head() %>
391
2f5cc9c2cbf0 replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents: 387
diff changeset
19 <title>Luan Documentation</title>
2f5cc9c2cbf0 replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents: 387
diff changeset
20 </head>
2f5cc9c2cbf0 replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents: 387
diff changeset
21 <body>
1652
d5779a264a4a docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1651
diff changeset
22 <% docs_header() %>
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
23 <div content>
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
24 <h1>Luan Documentation</h1>
1324
1660136ac451 website - remove Shared.luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 1323
diff changeset
25
1654
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
26 <ul links>
1927
1461449b6074 add learn.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 1735
diff changeset
27 <li><a href="install.html">Installation</a></li>
1461449b6074 add learn.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 1735
diff changeset
28 <li><a href="learn.html">Learning Luan</a></li>
1654
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
29 <li><a href="tutorial.html">Tutorial</a></li>
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
30 <li><a href="pil.html">Programming in Lua (book)</a></li>
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
31 <li><a href="manual.html">Reference Manual</a></li>
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
32 <li><a href="diff.html">How Luan differs from Lua</a></li>
1735
4b56eff90040 add hosting.html
Franklin Schmidt <fschmidt@gmail.com>
parents: 1654
diff changeset
33 <li><a href="hosting.html">Web Hosting</a></li>
1654
3f28ea044a32 docs UI
Franklin Schmidt <fschmidt@gmail.com>
parents: 1652
diff changeset
34 </ul>
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
35 </div>
391
2f5cc9c2cbf0 replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents: 387
diff changeset
36 </body>
2f5cc9c2cbf0 replace Html.simply_html_page with simply_html_head and simply_html_body_bottom
Franklin Schmidt <fschmidt@gmail.com>
parents: 387
diff changeset
37 </html>
1651
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
38 <%
5b8f056527a3 docs work
Franklin Schmidt <fschmidt@gmail.com>
parents: 1521
diff changeset
39 end