doc: copy correct directory

This commit is contained in:
Sandro - 2024-01-08 19:19:57 +01:00
parent d4fa574715
commit 95edbb97c8
Signed by: sandro
GPG Key ID: 3AF5A43A3EECC2E5
1 changed files with 1 additions and 1 deletions

View File

@ -39,7 +39,7 @@
ln -s ${moduleDoc}/options.md ./src
mdbook build
mv book $out
mv book/html $out
'';
};
}