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