Merge branch 'main' into switch-to-github-actions

.travis.yml

@@ -13,25 +13,27 @@ rvm:
  - 2.7.1
 
 before_install:
- - sudo apt-get install -y libpango1.0-dev ghostscript fonts-lyx jing
+ - sudo apt-get install -y libpango1.0-dev ghostscript fonts-lyx jing libavalon-framework-java libbatik-java python3-pyparsing
  - gem install asciidoctor -v 2.0.16
  - gem install coderay -v 1.1.1
  - gem install rouge -v 3.19.0
  - gem install ttfunk -v 1.5.1
  - gem install hexapdf -v 0.27.0
  - gem install asciidoctor-pdf -v 1.5.0
  - gem install asciidoctor-mathematical -v 0.3.5
+ - pip install pyparsing
 
 script:
  - git describe --tags --dirty
- - make -O -j 5 api c env ext cxx4opencl manhtmlpages
  - make -C xml validate
+ - python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 api c env ext cxx4opencl
+ - python3 makeSpec -clean -spec khr OUTDIR=out.khr -j 12 html manhtmlpages
 
 deploy:
  provider: releases
  api_key: $GH_TOKEN
  file_glob: true
- file: out/pdf/*
+ file: out.*/pdf/*
  skip_cleanup: true
  on:
  tags: true