From 31c87f5e522516afcc2d227020f4383977c0f861 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 20 Jan 2021 14:56:24 +0000
Subject: Remove github pages from repository

---
 .github/workflows/gh-pages.yml | 29 -----------------------------
 README.md                      |  2 +-
 2 files changed, 1 insertion(+), 30 deletions(-)
 delete mode 100644 .github/workflows/gh-pages.yml

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
deleted file mode 100644
index ed7e032..0000000
--- a/.github/workflows/gh-pages.yml
+++ /dev/null
@@ -1,29 +0,0 @@
-name: docs
-
-on:
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: [ master ]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v2
-
-    - name: Install emacs
-      run: sudo apt-get install emacs
-
-    - name: Generate documentation
-      run: cd docs && emacs --batch --no-init --load publish.el --funcall org-publish-all
-
-    - name: Generate Admitted icon
-      run: python3 scripts/statistics.py src && mkdir -p docs/html/assets && mv admitted.svg docs/html/assets/.
-
-    - name: Deploy gh-pages
-      uses: peaceiris/actions-gh-pages@v3
-      with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: ./docs/html
diff --git a/README.md b/README.md
index 26a1931..d90b590 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 # Vericert
 
 [![CI](https://github.com/ymherklotz/vericert/workflows/CI/badge.svg)](https://github.com/ymherklotz/vericert/actions)
-[![docs](https://github.com/ymherklotz/vericert/workflows/docs/badge.svg)](https://ymherklotz.github.io/vericert)
+[![docs](https://github.com/ymherklotz/vericert-docs/workflows/docs/badge.svg)](https://vericert.ymhg.org/)
 ![Admitted](https://raw.githubusercontent.com/ymherklotz/vericert/gh-pages/assets/admitted.svg)
 
 A formally verified high-level synthesis (HLS) tool written in Coq, building on top of [CompCert](https://github.com/AbsInt/CompCert).  This ensures the correctness of the C to Verilog translation according to our Verilog semantics and CompCert's C semantics, removing the need to check the resulting hardware for behavioural correctness.
-- 
cgit