build the user doc and publish it

This commit is contained in:
Sylvestre Ledru
2022-01-28 20:57:45 +01:00
parent 20e3457914
commit 2e25d9ab73
+1 -1
View File
@@ -84,4 +84,4 @@ jobs:
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./coreutils/target/doc
destination_dir: dev/
destination_dir: dev/