Merge pull request #562 from libtom/minor-fixes

Minor fixes
libtom · Jun 22, 2023 · 3746c58 · 3746c58
2 parents 38bb369 + 4c118b4
commit 3746c58
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 4 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1,5 +1,7 @@
-/.gitattributes export-ignore
-/.gitignore     export-ignore
-/.travis.yml    export-ignore
+/.gitattributes          export-ignore
+/.gitignore              export-ignore
+/.github/*               export-ignore
+/appveyor.yml            export-ignore
+/doc/.latexindent.yaml   export-ignore
 
 /**             export-subst
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -25,6 +25,20 @@ on:
       - /^ci\/.*$/
 
 jobs:
+  Docs:
+    runs-on: ubuntu-20.04
+    container: texlive/texlive:latest-full
+    steps:
+      - uses: actions/checkout@v2
+      - name: generate PDF
+        run: |
+          make docs V=1
+          cp doc/bn.pdf bn-${{ github.run_id }}.pdf
+      - name: upload PDF
+        uses: actions/upload-artifact@v3
+        with:
+          name: bn-${{ github.run_id }}.pdf
+          path: bn-${{ github.run_id }}.pdf
   Testme:
     runs-on: ${{ matrix.os }}
     strategy:

diff --git a/doc/bn.tex b/doc/bn.tex
@@ -2004,7 +2004,7 @@ \subsection{Example}
                       mp_error_to_string(e));
       exit(EXIT_FAILURE);
    }
-   printf("%d\n",output);
+   printf("%d\textbackslash{}n",output);
 
    mp_clear(&x);
    exit(EXIT_SUCCESS);