diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2024-12-29 19:40:53 +0100 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2024-12-29 19:40:53 +0100 |
| commit | 501622816878fbae771a23449eab6d274e9a147a (patch) | |
| tree | 52694fad76d9a05956d41e803a151232c88f5fa5 /web/page.html | |
| parent | 7471d8fd266fa7c23c9562cabab2e370b303d476 (diff) | |
| download | site-501622816878fbae771a23449eab6d274e9a147a.tar.gz | |
Switch to latest Poole version
Use the latest Poole code currently available at:
https://hg.sr.ht/~obensonne/poole
Rather than including the code in this repository, expect it to be found
in the PATH (e.g., in $prefix/opt/poole/env/bin). As Poole is
Python-3-based now, update web/macros.py accordingly.
Diffstat (limited to 'web/page.html')
| -rw-r--r-- | web/page.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/page.html b/web/page.html index 8999af9..ee36fb2 100644 --- a/web/page.html +++ b/web/page.html | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | <?xml version="1.0" encoding="{{ __encoding__ }}"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" | 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" |
| 3 | "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> | 3 | "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
| 4 | 4 | ||
| @@ -6,7 +6,7 @@ | |||
| 6 | 6 | ||
| 7 | <head> | 7 | <head> |
| 8 | <title>Monitoring Plugins - {{ hx(page.title) }}</title> | 8 | <title>Monitoring Plugins - {{ hx(page.title) }}</title> |
| 9 | <meta http-equiv="Content-Type" content="text/html; charset={{ __encoding__ }}" /> | 9 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> |
| 10 | <meta name="description" content="{{ hx(page.description) }}" /> | 10 | <meta name="description" content="{{ hx(page.description) }}" /> |
| 11 | <meta name="keywords" content="{{ hx(page.keywords) }}" /> | 11 | <meta name="keywords" content="{{ hx(page.keywords) }}" /> |
| 12 | <meta name="viewport" content="width=device-width, initial-scale=1" /> | 12 | <meta name="viewport" content="width=device-width, initial-scale=1" /> |