porta: add title

Signed-off-by: Robert Günzler <r@gnzler.io>

3 files changed, 5 insertions, 1 deletions

diff --git a/site/porta.html b/site/porta.html
index 2e35e22..f7f2f42 100644
--- a/site/porta.html
+++ b/site/porta.html
@@ -38,6 +38,7 @@
 </header>
 <main>
 <!-- Generated file, you may edit and discard porta.md :) -->
+<h1 id="porta">Porta</h1>
 <p>↪ <a href="https://git.sr.ht/~robertgzr/porta" class="uri"
 target="_blank">https://git.sr.ht/~robertgzr/porta</a></p>
 <p>for a while now i’ve been using a small homegrown utility to interact
@@ -57,7 +58,7 @@ class="uri"
 target="_blank">https://git.sr.ht/~robertgzr/portage/tree/master/sys-apps/porta/</a></p>
 </main>
 <footer>
-Edited on 2025-05-14 <a href="https://git.sr.ht/~robertgzr/site/tree/master/src/inc/porta.htm" target="_blank">[src]</a>
+Edited on 2025-11-22 <a href="https://git.sr.ht/~robertgzr/site/tree/master/src/inc/porta.htm" target="_blank">[src]</a>
 <a href="mailto:~robertgzr/public-inbox@lists.sr.ht">[comments]</a>
 <br>
 <b>robertgzr</b>
diff --git a/src/inc/porta.htm b/src/inc/porta.htm
index 193d953..1621f27 100644
--- a/src/inc/porta.htm
+++ b/src/inc/porta.htm
@@ -1,4 +1,5 @@
 <!-- Generated file, you may edit and discard porta.md :) -->
+<h1 id="porta">Porta</h1>
 <p>↪ <a href="https://git.sr.ht/~robertgzr/porta" class="uri"
 target="_blank">https://git.sr.ht/~robertgzr/porta</a></p>
 <p>for a while now i’ve been using a small homegrown utility to interact
diff --git a/src/inc/porta.md b/src/inc/porta.md
index 1e2000c..8d63598 100644
--- a/src/inc/porta.md
+++ b/src/inc/porta.md
@@ -1,3 +1,5 @@
+# Porta
+
 ↪  https://git.sr.ht/~robertgzr/porta
 
 for a while now i've been using a small homegrown utility to interact with