Pandoc required to generate PDF (#300)

* Pandoc required to generate PDF * Add --use-pep517 pip option
openhwgroup · Aug 30, 2023 · 22e08ba · 22e08ba
1 parent 0beffbd
commit 22e08ba
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -78,7 +78,7 @@ jobs:
   #      pip install -r docs/requirements.txt
   #  - name: Generate doc and diff
   #    run: |
-  #      make -C docs doc && util/git-diff.py --error-msg "::error ::Found differences, please re-generate the documentation."
+  #      make -C docs doc && util/git-diff.py --error-msg "::error ::Found differences, please re-generate the documentation.
 
   ####################
   # Format YML Files #

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -6,3 +6,4 @@ recommonmark
 sphinx>=4.3.0
 sphinx_markdown_tables
 sphinx_rtd_theme>=0.5.1
+pandoc