Remove RGL and HTML from Debian build

.github/workflows/build-debian-package.yml

@@ -1,20 +1,21 @@
 name: Build Debian Package
 
-on: [push, pull_request]
+on:
+  push:
+  workflow_dispatch:
 
 jobs:
   build:
     name: Build on ${{ matrix.os }}
     runs-on: ${{ matrix.os }}
     strategy:
-      fail-fast: true
       matrix:
         os: [ubuntu-18.04]
     env:
       LC_ALL: C.UTF-8
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v2
 
     - name: Install build tools
       run: |
@@ -27,23 +28,15 @@ jobs:
           libghc-json-dev \
           python-dev \
           default-jdk \
-          libtool-bin \
-          txt2tags \
-          pandoc
-
-    - name: Checkout RGL
-      run: |
-        git clone --depth 1 https://github.com/GrammaticalFramework/gf-rgl.git ../gf-rgl
+          libtool-bin
 
     - name: Build Debian package
       run: |
         make deb
 
-    - name: Copy packages
-      run: |
-        mkdir debian/dist
-        cp ../gf_*.deb debian/dist/
-
-    - uses: actions/upload-artifact@v2
+    - name: Upload artifact
+      uses: actions/upload-artifact@v2
       with:
-        path: debian/dist
+        name: Debian package
+        path: ../gf_*.deb
+        if-no-files-found: error