From da20ea45c477a11aa62ba32c0089ff174be76406 Mon Sep 17 00:00:00 2001 From: Mike Pall Date: Thu, 25 Mar 2021 02:09:15 +0100 Subject: [PATCH] Upgrade docs to HTML5. It's about time. --- doc/contact.html | 4 ++-- doc/ext_c_api.html | 4 ++-- doc/ext_ffi.html | 4 ++-- doc/ext_ffi_api.html | 4 ++-- doc/ext_ffi_semantics.html | 4 ++-- doc/ext_ffi_tutorial.html | 4 ++-- doc/ext_jit.html | 4 ++-- doc/ext_profiler.html | 4 ++-- doc/extensions.html | 4 ++-- doc/faq.html | 4 ++-- doc/install.html | 4 ++-- doc/luajit.html | 4 ++-- doc/running.html | 4 ++-- doc/status.html | 4 ++-- 14 files changed, 28 insertions(+), 28 deletions(-) diff --git a/doc/contact.html b/doc/contact.html index 0c775f98..b7980091 100644 --- a/doc/contact.html +++ b/doc/contact.html @@ -1,8 +1,8 @@ - + Contact - + diff --git a/doc/ext_c_api.html b/doc/ext_c_api.html index e204459a..6079e5ac 100644 --- a/doc/ext_c_api.html +++ b/doc/ext_c_api.html @@ -1,8 +1,8 @@ - + Lua/C API Extensions - + diff --git a/doc/ext_ffi.html b/doc/ext_ffi.html index 115a77fe..13b75bda 100644 --- a/doc/ext_ffi.html +++ b/doc/ext_ffi.html @@ -1,8 +1,8 @@ - + FFI Library - + diff --git a/doc/ext_ffi_api.html b/doc/ext_ffi_api.html index 65761aa7..b7ace808 100644 --- a/doc/ext_ffi_api.html +++ b/doc/ext_ffi_api.html @@ -1,8 +1,8 @@ - + ffi.* API Functions - + diff --git a/doc/ext_ffi_semantics.html b/doc/ext_ffi_semantics.html index 16f87739..904ee51d 100644 --- a/doc/ext_ffi_semantics.html +++ b/doc/ext_ffi_semantics.html @@ -1,8 +1,8 @@ - + FFI Semantics - + diff --git a/doc/ext_ffi_tutorial.html b/doc/ext_ffi_tutorial.html index c7d453ae..8ed61364 100644 --- a/doc/ext_ffi_tutorial.html +++ b/doc/ext_ffi_tutorial.html @@ -1,8 +1,8 @@ - + FFI Tutorial - + diff --git a/doc/ext_jit.html b/doc/ext_jit.html index 17362d6a..84302fa0 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html @@ -1,8 +1,8 @@ - + jit.* Library - + diff --git a/doc/ext_profiler.html b/doc/ext_profiler.html index a2f9cab0..0e8d3691 100644 --- a/doc/ext_profiler.html +++ b/doc/ext_profiler.html @@ -1,8 +1,8 @@ - + Profiler - + diff --git a/doc/extensions.html b/doc/extensions.html index be7e66d8..77cf444c 100644 --- a/doc/extensions.html +++ b/doc/extensions.html @@ -1,8 +1,8 @@ - + Extensions - + diff --git a/doc/faq.html b/doc/faq.html index 891a3402..b71e6e7c 100644 --- a/doc/faq.html +++ b/doc/faq.html @@ -1,8 +1,8 @@ - + Frequently Asked Questions (FAQ) - + diff --git a/doc/install.html b/doc/install.html index b04de559..fab0b2ca 100644 --- a/doc/install.html +++ b/doc/install.html @@ -1,8 +1,8 @@ - + Installation - + diff --git a/doc/luajit.html b/doc/luajit.html index 0d3bf31c..42c0ac83 100644 --- a/doc/luajit.html +++ b/doc/luajit.html @@ -1,8 +1,8 @@ - + LuaJIT - + diff --git a/doc/running.html b/doc/running.html index 919aad33..ae4911d5 100644 --- a/doc/running.html +++ b/doc/running.html @@ -1,8 +1,8 @@ - + Running LuaJIT - + diff --git a/doc/status.html b/doc/status.html index 9f94b581..e1f024bf 100644 --- a/doc/status.html +++ b/doc/status.html @@ -1,8 +1,8 @@ - + Status - +