diff --git a/docs/.gitignore b/docs/.gitignore
index 2ca868298..7140f6e86 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,4 +1,2 @@
-_site/
-.sass-cache/
-.jekyll-cache/
-.jekyll-metadata
+*~
+/_build
diff --git a/docs/404.html b/docs/404.html
deleted file mode 100644
index 2c68768ef..000000000
--- a/docs/404.html
+++ /dev/null
@@ -1,8 +0,0 @@
----
-layout: default
----
-
-
-
The page you are looking for cannot be found.
-
404
-
diff --git a/docs/Gemfile b/docs/Gemfile
deleted file mode 100644
index 78232a780..000000000
--- a/docs/Gemfile
+++ /dev/null
@@ -1,18 +0,0 @@
-source "https://rubygems.org"
-ruby RUBY_VERSION
-
-gem "jekyll", "3.6.3"
-
-# to use GitHub Pages
-# gem "github-pages", group: :jekyll_plugins
-
-# If you have any plugins, put them here!
-group :jekyll_plugins do
- gem "jekyll-feed"
- gem "jekyll-sitemap"
- gem "jekyll-redirect-from"
- gem "jekyll-seo-tag"
-end
-
-# Windows does not include zoneinfo files, so bundle the tzinfo-data gem
-gem 'tzinfo-data', platforms: [:mingw, :mswin, :x64_mingw, :jruby]
diff --git a/docs/Gemfile.lock b/docs/Gemfile.lock
deleted file mode 100644
index 91fd8ec8e..000000000
--- a/docs/Gemfile.lock
+++ /dev/null
@@ -1,69 +0,0 @@
-GEM
- remote: https://rubygems.org/
- specs:
- addressable (2.5.2)
- public_suffix (>= 2.0.2, < 4.0)
- colorator (1.1.0)
- ffi (1.9.25)
- forwardable-extended (2.6.0)
- jekyll (3.6.3)
- addressable (~> 2.4)
- colorator (~> 1.0)
- jekyll-sass-converter (~> 1.0)
- jekyll-watch (~> 1.1)
- kramdown (~> 1.14)
- liquid (~> 4.0)
- mercenary (~> 0.3.3)
- pathutil (~> 0.9)
- rouge (>= 1.7, < 3)
- safe_yaml (~> 1.0)
- jekyll-feed (0.11.0)
- jekyll (~> 3.3)
- jekyll-redirect-from (0.14.0)
- jekyll (~> 3.3)
- jekyll-sass-converter (1.5.2)
- sass (~> 3.4)
- jekyll-seo-tag (2.5.0)
- jekyll (~> 3.3)
- jekyll-sitemap (1.2.0)
- jekyll (~> 3.3)
- jekyll-watch (1.5.1)
- listen (~> 3.0)
- kramdown (1.17.0)
- liquid (4.0.1)
- listen (3.1.5)
- rb-fsevent (~> 0.9, >= 0.9.4)
- rb-inotify (~> 0.9, >= 0.9.7)
- ruby_dep (~> 1.2)
- mercenary (0.3.6)
- pathutil (0.16.2)
- forwardable-extended (~> 2.6)
- public_suffix (3.0.3)
- rb-fsevent (0.10.3)
- rb-inotify (0.9.10)
- ffi (>= 0.5.0, < 2)
- rouge (2.2.1)
- ruby_dep (1.5.0)
- safe_yaml (1.0.4)
- sass (3.7.2)
- sass-listen (~> 4.0.0)
- sass-listen (4.0.0)
- rb-fsevent (~> 0.9, >= 0.9.4)
- rb-inotify (~> 0.9, >= 0.9.7)
-
-PLATFORMS
- ruby
-
-DEPENDENCIES
- jekyll (= 3.6.3)
- jekyll-feed
- jekyll-redirect-from
- jekyll-seo-tag
- jekyll-sitemap
- tzinfo-data
-
-RUBY VERSION
- ruby 2.4.1p111
-
-BUNDLED WITH
- 1.17.1
diff --git a/docs/LICENSE b/docs/LICENSE
deleted file mode 100644
index 4926de5f7..000000000
--- a/docs/LICENSE
+++ /dev/null
@@ -1,21 +0,0 @@
-MIT License
-
-Copyright (c) 2017 Can Güney Aksakalli
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.
diff --git a/docs/Makefile b/docs/Makefile
new file mode 100644
index 000000000..d4bb2cbb9
--- /dev/null
+++ b/docs/Makefile
@@ -0,0 +1,20 @@
+# Minimal makefile for Sphinx documentation
+#
+
+# You can set these variables from the command line, and also
+# from the environment for the first two.
+SPHINXOPTS ?=
+SPHINXBUILD ?= sphinx-build
+SOURCEDIR = .
+BUILDDIR = _build
+
+# Put it first so that "make" without argument is like "make help".
+help:
+ @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+.PHONY: help Makefile
+
+# Catch-all target: route all unknown targets to Sphinx using the new
+# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
+%: Makefile
+ @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
diff --git a/docs/README.md b/docs/README.md
deleted file mode 100644
index a05d69cc3..000000000
--- a/docs/README.md
+++ /dev/null
@@ -1,23 +0,0 @@
-# Ariane RISC-V CPU (cva6) Documents
-
-Powered by Jekyll Doc Theme.
-Go to [the website](https://aksakalli.github.io/jekyll-doc-theme/) for detailed information and demo.
-
-## Running locally
-
-You need Ruby and gem before starting, then:
-
-```bash
-# install bundler
-gem install bundler
-
-# bundle install missing dependencies
-bundle install
-
-# run jekyll with dependencies
-bundle exec jekyll serve
-```
-and then open URL which list in the `Server address` entry.
-## Jekyll Doc Theme License
-
-Released under [the MIT license](LICENSE).
diff --git a/docs/_config.yml b/docs/_config.yml
deleted file mode 100644
index 2a7e17157..000000000
--- a/docs/_config.yml
+++ /dev/null
@@ -1,45 +0,0 @@
-# Site settings
-title: Ariane Documentation
-email: zarubaf@iis.ee.ethz.ch
-description: >
- Documentation for Ariane, a 64-bit RISC-V core
-
-baseurl: "/ariane" # the subpath of your site, e.g. /blog/
-url: https://pulp-platform.github.io # the base hostname & protocol for your site
-git_address: https://github.com/pulp-platform/ariane
-git_edit_address: https://github.com/pulp-platform/ariane/blob/master/docs
-
-# theme options from https://bootswatch.com/
-# comment out this to use default Bootstrap
-bootwatch: paper
-
-# Build settings
-markdown: kramdown
-highlighter: rouge
-gems:
- - jekyll-feed
- - jekyll-redirect-from
- - jekyll-seo-tag
- - jekyll-sitemap
-
-exclude:
- - Gemfile
- - Gemfile.lock
- - .idea/
- - .gitignore
- - README.md
-timezone: Europe/Berlin
-defaults:
-- scope:
- path: _docs
- type: docs
- values:
- layout: docs
- sectionid: docs
- seo:
- type: "WebPage"
-
-collections:
- docs:
- permalink: /:collection/:path/
- output: true
diff --git a/docs/_data/docs.yml b/docs/_data/docs.yml
deleted file mode 100644
index 4efd98d28..000000000
--- a/docs/_data/docs.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-- title: Introduction
- docs:
- - home
- - documentation
-
-- title: Architecture
- docs:
- - pcgen_stage
- - if_stage
- - id_stage
- - issue_stage
- - ex_stage
- - commit_stage
diff --git a/docs/_docs/documentation.md b/docs/_docs/documentation.md
deleted file mode 100644
index bd05dd696..000000000
--- a/docs/_docs/documentation.md
+++ /dev/null
@@ -1,30 +0,0 @@
----
-title: Documentation
-permalink: /docs/documentation/
----
-
-The documentation is hosted in the docs folder and is re-created on pushes to master. When contributing to the project please consider the [contribution guide](https://github.com/pulp-platform/ariane/blob/master/CONTRIBUTING.md).
-
-## Timing Diagrams
-
-The current scheme allows you to insert timing diagrams written in [WaveJSON](https://github.com/drom/wavedrom/wiki/WaveJSON).
-
-Insert [WaveJSON](https://github.com/drom/wavedrom/wiki/WaveJSON) source inside HTML ```` wrapped with ``
-```
-
-
diff --git a/docs/_includes/docs_nav.html b/docs/_includes/docs_nav.html
deleted file mode 100644
index 68f593d4f..000000000
--- a/docs/_includes/docs_nav.html
+++ /dev/null
@@ -1,22 +0,0 @@
-