diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1788e1d..a829d2c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,6 +5,7 @@ before_script: pages: stage: deploy + script: - mkdir -p html && (cd html && texi2html ../doc/chopstx.texi) - mv html/ public artifacts: