From 2e25d9ab73369d0f575863547b8121d98abed48c Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Fri, 28 Jan 2022 20:57:45 +0100
Subject: [PATCH] build the user doc and publish it

---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index af5199ad7..460f8abc1 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -84,4 +84,4 @@ jobs:
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./coreutils/target/doc
-        destination_dir: dev/
\ No newline at end of file
+        destination_dir: dev/