[Docs] Set C as the default language

Documentation/conf.py

@@ -79,6 +79,9 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
 # The name of the Pygments (syntax highlighting) style to use.
 pygments_style = None
 
+highlight_language = 'c'
+primary_domain = 'c'
+
 rst_prolog = '''
 .. |~| unicode:: 0xa0
    :trim:
@@ -93,6 +96,10 @@ def generate_doxygen(app):
 def setup(app):
     app.connect('builder-inited', generate_doxygen)
 
+breathe_domain_by_extension = {
+    'h': 'c',
+}
+
 todo_include_todos = True
 
 # -- Options for HTML output -------------------------------------------------

README.rst

@@ -13,6 +13,9 @@ Graphene Library OS with Intel SGX Support
 .. |nbsp| unicode:: 0xa0
    :trim:
 
+.. highlight:: sh
+
+
 What is Graphene?
 =================