diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 525dc5e3..7334c639 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -24,6 +24,7 @@ pages: script: - mkdir -p public/doc - mv doc/tame.html/* doc/tame.pdf doc/tame.info public/ + - mv tamer/target/doc public/tamer/ artifacts: paths: - public/ diff --git a/tamer/Makefile.am b/tamer/Makefile.am index e0742ecc..d8bb003d 100644 --- a/tamer/Makefile.am +++ b/tamer/Makefile.am @@ -27,6 +27,10 @@ path_aux = build-aux all: cargo build +doc: html +html-am: + @CARGO@ doc + # note that 'cargo check' is something else; see 'cargo --help' test: check check-am: