8f32341bee
In rendered HTML, the line number should be right aligned, and code should be left aligned accordingly. In addition, this patch added the basic build instructions, so that someone can generated the PDF and HTML files. Close #44
38 lines
793 B
YAML
38 lines
793 B
YAML
name: build-deploy-assets
|
|
|
|
on:
|
|
push:
|
|
branches: [ master ]
|
|
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
container: twtug/lkmpg
|
|
|
|
steps:
|
|
- uses: actions/checkout@v2
|
|
- name: Build
|
|
run: |
|
|
make all
|
|
make html
|
|
tar zcvf lkmpg-html.tar.gz ./html
|
|
- name: Delete old release asset
|
|
uses: mknejp/delete-release-assets@v1
|
|
with:
|
|
token: ${{ github.token }}
|
|
fail-if-no-assets: false
|
|
tag: latest
|
|
assets: |
|
|
lkmpg.pdf
|
|
lkmpg-html.tar.gz
|
|
- name: Release
|
|
uses: softprops/action-gh-release@v1
|
|
with:
|
|
files: |
|
|
lkmpg.pdf
|
|
lkmpg-html.tar.gz
|
|
tag_name: "latest"
|
|
prerelease: true
|