fix copy command

Halbaroth · Jul 22, 2024 · b4faf96 · b4faf96
1 parent bfe92cb
commit b4faf96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -160,7 +160,7 @@ uninstall: packages
 doc:
 	$(SPHINXBUILD) -W "$(SPHINX_DOC_DIR)" "$(SPHINX_BUILD_DIR)"
 	$(DUNE) build $(DUNE_FLAGS) @doc
-	cp -rf $(DEFAULT_DIR)/_doc/_html/* $(SPHINX_BUILD_DIR)/API
+	cp -Rf $(DEFAULT_DIR)/_doc/_html/. $(SPHINX_BUILD_DIR)/API
 
 html: doc
 	xdg-open $(SPHINX_BUILD_DIR)/index.html