fixup! [Docs] Add "Gramine features" (in Markdown)

Adding the file to our ReadTheDocs and transforming emojis into unicode characters. Signed-off-by: Dmitrii Kuvaiskii <[email protected]>
gramineproject · Mar 2, 2023 · 4a7e036 · 4a7e036
1 parent f69b68b
commit 4a7e036
Show file tree

Hide file tree

Showing 6 changed files with 1,151 additions and 1,144 deletions.
diff --git a/.ci/docs.jenkinsfile b/.ci/docs.jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
     agent {
-        dockerfile { filename '.ci/ubuntu18.04.dockerfile' }
+        dockerfile { filename '.ci/ubuntu20.04.dockerfile' }
     }
     stages {
         stage('build') {

diff --git a/.ci/ubuntu20.04.dockerfile b/.ci/ubuntu20.04.dockerfile
@@ -99,6 +99,7 @@ RUN python3 -m pip install -U \
     'tomli>=1.1.0' \
     'tomli-w>=0.4.0' \
     'meson>=0.56,<0.57' \
+    'recommonmark' \
     'docutils>=0.17,<0.18'
 
 CMD ["bash"]
diff --git a/Documentation/conf.py b/Documentation/conf.py
@@ -20,10 +20,12 @@
 import pathlib
 import subprocess
 
+import recommonmark.parser
+
 # -- Project information -----------------------------------------------------
 
 project = 'Gramine'
-copyright = '2022, Gramine Contributors'
+copyright = '2023, Gramine Contributors'
 author = 'Gramine Contributors'
 
 # The short X.Y version
@@ -42,6 +44,7 @@
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 extensions = [
+    'recommonmark',
     'sphinx.ext.autodoc',
     'sphinx.ext.intersphinx',
     'sphinx.ext.napoleon',
@@ -55,6 +58,8 @@
 # The suffix(es) of source filenames.
 source_suffix = {
     '.rst': 'restructuredtext',
+    '.md': 'markdown',
+    '.markdown': 'markdown',
 }
 
 # The master toctree document.