working on github dist

This commit is contained in:
Charlton, Scott R 2021-09-15 07:34:36 -06:00
parent 088a91066e
commit f06aa275cd

View File

@ -60,6 +60,8 @@ jobs:
- name: jenkins-dist
run: |
sudo apt-get update && sudo apt install -y doxygen
# fake the chm for now
touch doc/phreeqc3.chm
/bin/sh jenkins-dist.sh -v ${{ needs.init.outputs.VER }} -r ${{ needs.init.outputs.REL }} -d ${{ needs.init.outputs.DATE }}
cd doc && doxygen && cd ..
autoreconf -fvi