Merge branch 'gendocsgitfriendly' into master

faucetsdn · Dec 8, 2021 · 209330c · 209330c
2 parents b664dc8 + 226021a
commit 209330c
Show file tree

Hide file tree

Showing 9 changed files with 6,995 additions and 51 deletions.
diff --git a/bin/gendocs.py b/bin/gendocs.py
@@ -6,7 +6,8 @@
 config = GenerationConfiguration(copy_css=True, 
                                  expand_buttons=True,
                                  minify=False,
-                                 link_to_reused_ref=False)
+                                 link_to_reused_ref=False,
+                                 footer_show_time=False)
 
 schema = sys.argv[1]
 source_dir = sys.argv[2]

diff --git a/etc/requirements.txt b/etc/requirements.txt
@@ -1 +1 @@
-json-schema-for-humans
+json-schema-for-humans==0.39.1
diff --git a/gencode/docs/config.html b/gencode/docs/config.html
diff --git a/gencode/docs/envelope.html b/gencode/docs/envelope.html
diff --git a/gencode/docs/event_discovery.html b/gencode/docs/event_discovery.html
diff --git a/gencode/docs/event_pointset.html b/gencode/docs/event_pointset.html
diff --git a/gencode/docs/event_system.html b/gencode/docs/event_system.html
diff --git a/gencode/docs/metadata.html b/gencode/docs/metadata.html
diff --git a/gencode/docs/state.html b/gencode/docs/state.html
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		json-schema-for-humans
		json-schema-for-humans==0.39.1