Can't move html folder (perms?) but we can surely copy it (other comm…

…and could)
saxbophone · May 5, 2021 · 2e2f591 · 2e2f591
1 parent 5b496d0
commit 2e2f591
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build-release.yml b/.github/workflows/build-release.yml
@@ -79,7 +79,7 @@ jobs:
         # make docs folder, move docs there, call script to generate HTML redirect in index
         run: |
           mkdir docs
-          mv html docs/$DOCS_VERSION
+          cp -R html docs/$DOCS_VERSION
           ./generate_index $DOCS_VERSION
       - name: Deploy Docs to github-pages
         uses: JamesIves/[email protected]

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -9,7 +9,7 @@ else()
     set(WONDERCARD_SUBPROJECT ON)
 endif()
 
-project(wondercard VERSION 0.1.6 LANGUAGES CXX)
+project(wondercard VERSION 0.1.7 LANGUAGES CXX)
 
 find_program(CCACHE_PROGRAM ccache)
 if(CCACHE_PROGRAM)

diff --git a/Doxyfile b/Doxyfile
@@ -38,7 +38,7 @@ PROJECT_NAME           = "Wondercard"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v0.1.6
+PROJECT_NUMBER         = v0.1.7
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a