From bb9008836ce175e28f5c48cedf632d7e9124d15d Mon Sep 17 00:00:00 2001
From: Christoph Plate <christoph.plate@ovgu.de>
Date: Thu, 30 Nov 2023 13:58:24 +0100
Subject: [PATCH] remove pdf, added deploydocs

---
 .github/workflows/Documentation.yml | 5 +++--
 docs/make.jl                        | 3 +++
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 5d7777a..711d5db 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -18,7 +18,6 @@ jobs:
           matrix:
             format:
               - html
-              - pdf
         steps:
           - uses: actions/checkout@v4
           - uses: julia-actions/setup-julia@v1
@@ -30,4 +29,6 @@ jobs:
           - name: Build the manual
             run: julia --color=yes --project=docs/ docs/make.jl ${{ matrix.format }}
             env:
-              GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file
+              GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+              DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+              GKSwstype: "100"
\ No newline at end of file
diff --git a/docs/make.jl b/docs/make.jl
index 6961585..8c4e2ad 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -17,3 +17,6 @@ makedocs(modules = [DynamicOED],
         "Theory" => "theory.md",
         "API" => "api.md",
     ])
+
+deploydocs(repo = "github.com/mathopt/DynamicOED.jl";
+    push_preview = true)
\ No newline at end of file