diff options
Diffstat (limited to 'vkraus')
-rw-r--r-- | vkraus/packages/disfluid.scm | 2 | ||||
-rw-r--r-- | vkraus/services/disfluid.scm | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/vkraus/packages/disfluid.scm b/vkraus/packages/disfluid.scm index 61fc766..1335cd5 100644 --- a/vkraus/packages/disfluid.scm +++ b/vkraus/packages/disfluid.scm @@ -205,6 +205,6 @@ corresponding source, as an AGPL requirement."))) (define-public (make-website disfluid) (file-append (disfluid-htmlize disfluid) "/share/doc/disfluid/disfluid.html")) -(define-public disfluid (disfluid-release "0.5.1-30-g0e4ca32" "2021-07-30T12:21:58+02:00" "0e4ca323a5ea61010f7f3b7c2ca6cab14e38fdff" "027286qrrvqfn4f3x8w7dmb13nmhlh28862r11vd7bbqdiqcwxd2")) +(define-public disfluid (disfluid-release "0.5.1-30-g866b632" "2021-07-30T12:45:31+02:00" "866b632dde1aa71a3e5cf903d8cdda07f257531b" "0y554mqn7c2ldrqjbkv21q9j6ssvap74b77l5dgl9r54m12rx410")) (define-public disfluid-html (disfluid-htmlize disfluid)) (define-public disfluid:website (make-website disfluid)) diff --git a/vkraus/services/disfluid.scm b/vkraus/services/disfluid.scm index bd181a5..ba2e976 100644 --- a/vkraus/services/disfluid.scm +++ b/vkraus/services/disfluid.scm @@ -507,7 +507,7 @@ (define-public disfluid-website (nginx-server-configuration - (server-name '("webid-oidc.planete-kraus.eu")) + (server-name '("disfluid.planete-kraus.eu" "webid-oidc.planete-kraus.eu")) (listen '("443 ssl" "[::]:443 ssl")) (ssl-certificate "/etc/letsencrypt/live/planete-kraus.eu/fullchain.pem") (ssl-certificate-key "/etc/letsencrypt/live/planete-kraus.eu/privkey.pem") |