commit a041814526a1512b217782528155aea79c165b3c
parent 077a906642af1190d592bbf643baa677630505e4
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Thu, 14 Dec 2023 15:11:09 +0100
improve gns record type table
Diffstat:
4 files changed, 17 insertions(+), 15 deletions(-)
diff --git a/gnu-name-system-record-types/Makefile b/gnu-name-system-record-types/Makefile
@@ -19,9 +19,7 @@ gnu_name_system_record_types.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_record_types.rst: rst.header.tmp gnu_name_system_record_types.rst.tmp rst.footer
cat rst.header.tmp gnu_name_system_record_types.rst.tmp rst.footer > $@
diff --git a/gnu-name-system-record-types/README b/gnu-name-system-record-types/README
@@ -1,3 +1,6 @@
+GNS Record Types
+----------------
+
This registry is for GNU Name System Record Types.
GNU Name System Record types uniquely identify the different kinds
diff --git a/gnu-name-system-record-types/rst.header.template b/gnu-name-system-record-types/rst.header.template
@@ -1,4 +1,11 @@
-GNS Record Types
-----------------
+Entries
+^^^^^^^
+.. list-table:: GNS Record Types
+ :widths: auto
+ :header-rows: 1
+ * - Name
+ - Number
+ - References
+ - Comment
diff --git a/gnu-name-system-record-types/rst.template b/gnu-name-system-record-types/rst.template
@@ -1,10 +1,4 @@
-
-
-=================== ===========================================================
-Name {{Name}}
-------------------- -----------------------------------------------------------
-Number {{Number}}
-Comment {{Comment}}
-References {{References}}
-=================== ===========================================================
-
+ * - {{Name}}
+ - {{Number}}
+ - {{References}}
+ - {{Comment}}
