Reproducible TeX build environment using Docker

[ekangmonyet]

This is to centralize efforts of developing Github Actions and if needed a customized docker container for the purpose of building all assets (PDFs, HTMLs, etc).

• PDF Building (WIP: Dockerized pdf build in Github Actions #28)
• Existing release fix (Delete existing release asset before releasing #29 or address asset upload warning softprops/action-gh-release#134)
• HTML Building (Publish GitHub Page with GitHub Action #32 , Generate HTML via make4ht #20)

[ekangmonyet]

I think there's a cyclic dependency between this and #20 , my opinion is to merge #20 first, start this and improve HTML building at the same time.

[Hsins]

Just focus on "building docker image for consistent environment" and then the issue could be the first task to be done. The title of this issue are almost the same with #25.

[ekangmonyet]

I will focus on producing the PDF file first instead, since it is pretty stable and no other task dependencies. It will serve as a foundation to build other assets too.
(Progress: #28)

[fennecJ]

I tried to use xu-cheng/texlive-action for html building, and the following script worked for me:

name: Generate HTML and deploy to GitHub Page.

on:
  push:
    branches:
      - master

jobs:
  build-deploy:
    runs-on: ubuntu-latest
    steps:
      - name: checkout branch
        uses: actions/checkout@v2

      - name: install dependencies and generating files
        uses: xu-cheng/texlive-action/full@v1
        with:
          run: |
            apk add make
            make html

      - name: deploy site
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./html                                    
          publish_branch: gh-pages

You can checkout the output in here
Looks like the page rendered well.

[ekangmonyet]

#32 is working on it.