ci: Fix deploy.yml for real (#1699)

Author: Lysxia

.github/workflows/deploy.yml

@@ -49,7 +49,7 @@ jobs:
       run: |
         BUILDDIR=ci/build-docs
         cargo creusot doc -- -p creusot-contracts --no-deps --target-dir $BUILDDIR
-        cp ci/html/highlight.css guide/book/theme/highlight.js $BUILDDIR/doc
+        cp ci/html/highlight.css guide/theme/highlight.js $BUILDDIR/doc
       env:
         RUSTDOCFLAGS: '--html-after-content ci/html/postscript.html --html-in-header ci/html/header.html'
     - name: Upload creusot_contracts artifact