Acutally push docs on build now

natemcmaster · Apr 21, 2018 · 6a3cdf2 · 6a3cdf2
1 parent ec6809c
commit 6a3cdf2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/push.ps1 b/docs/push.ps1
@@ -28,7 +28,7 @@ try {
         Pop-Location
     }
     exec git commit -m "Generate documentation from $SourceCommit"
-    exec git push --dry-run
+    exec git push origin gh-pages
 }
 finally {
     Pop-Location