Add date to title page of generated PDF and HTML

Signed-off-by: Andy Fingerhut <[email protected]>
p4lang · Nov 5, 2024 · fb6b45c · fb6b45c
1 parent 151b29e
commit fb6b45c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/p4-16/spec/P4-16-spec.adoc b/p4-16/spec/P4-16-spec.adoc
@@ -1,5 +1,6 @@
 = P4~16~ Language Specification : The P4 Language Consortium
 :doctype: book
+:revdate: {docdate}
 :revnumber: v1.2.5
 :imagesdir: resources/figs
 :font-size: 10

diff --git a/p4-16/spec/resources/fonts/verify-font b/p4-16/spec/resources/fonts/verify-font
@@ -0,0 +1,5 @@
+require 'ttfunk'
+require 'ttfunk/subset_collection'
+
+ttf_subsets = TTFunk::SubsetCollection.new TTFunk::File.open ARGV[0]
+(0...(ttf_subsets.instance_variable_get :@subsets).size).each {|idx| ttf_subsets[idx].encode }