update settings.pdf

swift-nav · Sep 26, 2023 · 7a83333 · 7a83333
1 parent fde2d59
commit 7a83333
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -1,7 +1,9 @@
 CR := conda run -n piksi_tools --live-stream
+VERSION ?= v3.0.19
 
 settings-pdf:
-	cd settings; $(CR) python ./generate_settings.py
+	cd settings; $(CR) python ./generate_settings.py "$(VERSION)"
+	cp settings/settings_out.pdf settings.pdf
 
 install:
 	$(CR) pip install -e .[test,settings]

diff --git a/settings.pdf b/settings.pdf
diff --git a/settings/generate_settings.py b/settings/generate_settings.py
@@ -2,7 +2,7 @@
 
 from __future__ import absolute_import, print_function
 
-import os
+import sys
 import re
 import subprocess
 
@@ -96,12 +96,14 @@ def mod(group, groups={}):
 
 latex_template = jenv.get_template('settings_template.tex')
 
+VERSION = sys.argv[1]
+
 with open("settings_out.tex", 'w') as f:
     f.write(
         latex_template.render(
             groups=sorted(groups),
             setting=sorted(settings.list_of_dicts, key=lambda x: repr(x)),
-            version='v3.0.17',
+            version=VERSION,
             enumerate=enumerate,
             mod=mod))