Clean up variable names (#157)

Incorporate some suggestions at https://google.github.io/styleguide/shellguide.html#variable-names to try to keep the build script's use of variables a little more readable.
TrustedComputingGroup · Sep 4, 2024 · 20c2548 · 20c2548
1 parent b245879
commit 20c2548
Show file tree

Hide file tree

Showing 2 changed files with 138 additions and 124 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 *.pdf
+*.docx
+*.html
 *.tex
 *.log
 *.aux