gana

commit 231b76c7e951484faba6d9998750e38fa4401036
parent b392ab2c805a6239777319e1a7a41397d4d5e0b3
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Thu, 14 Dec 2023 18:15:57 +0100

fix gns protocols; table

Diffstat:
M
gns-protocol-numbers/Makefile
 | 
4
+---
M
gns-protocol-numbers/README
 | 
3
+++
M
gns-protocol-numbers/rst.header.template
 | 
11
+++++++++--
M
gns-protocol-numbers/rst.template
 | 
14
++++----------

4 files changed, 17 insertions(+), 15 deletions(-)
diff --git a/gns-protocol-numbers/Makefile b/gns-protocol-numbers/Makefile
@@ -19,9 +19,7 @@ gnu_name_system_protocols.rst.tmp: registry.rec rst.template
 	../format.sh rst.template < registry.rec > $@
 
 rst.header.tmp:
-	cat rst.header.template README POLICY > $@
-	echo "Entries" >> $@
-	echo "^^^^^^^" >> $@
+	cat README POLICY rst.header.template > $@
 
 gnu_name_system_protocols.rst: rst.header.tmp gnu_name_system_protocols.rst.tmp rst.footer
 	cat rst.header.tmp gnu_name_system_protocols.rst.tmp rst.footer > $@
diff --git a/gns-protocol-numbers/README b/gns-protocol-numbers/README
@@ -1,3 +1,6 @@
+GNS Protocols
+-------------
+
 This registry is for protocol number mappings for GNS names that are BOXed.
 
 Some "_"-labels map to protocol numbers, but others do not.
diff --git a/gns-protocol-numbers/rst.header.template b/gns-protocol-numbers/rst.header.template
@@ -1,4 +1,11 @@
-GNS Service Ports
------------------
+Entries
+^^^^^^^
 
+.. list-table:: GNS Record Types
+   :widths: auto
+   :header-rows: 1
 
+   * - Name
+     - Number
+     - References
+     - Comment
diff --git a/gns-protocol-numbers/rst.template b/gns-protocol-numbers/rst.template
@@ -1,10 +1,4 @@
-
-
-=================== ===========================================================
-Name                {{Name}}
-------------------- -----------------------------------------------------------
-Number              {{Number}}
-Comment             {{Comment}}
-References          {{References}}
-=================== ===========================================================
-
+   * - {{Name}}
+     - {{Number}}
+     - {{References}}
+     - {{Comment}}