Add missed docs

Author: kwankyu

src/doc/ca/intro/conf.py

@@ -20,6 +20,11 @@
 # contains common paths.
 html_static_path = [] + html_common_static_path
 
+# Add a small edit button.
+html_theme_options.update({
+  'source_edit_link': os.path.join(source_repository, 'blob/develop/src/doc/ca/intro', '{filename}'),
+})
+
 # General information about the project.
 project = "Introducció de Sage"
 

src/doc/de/a_tour_of_sage/conf.py

@@ -22,6 +22,11 @@
 # contains common paths.
 html_static_path = [] + html_common_static_path
 
+# Add a small edit button.
+html_theme_options.update({
+  'source_edit_link': os.path.join(source_repository, 'blob/develop/src/doc/de/a_tour_of_sage', '{filename}'),
+})
+
 # General information about the project.
 project = "Ein Rundgang durch Sage"
 name = "a_tour_of_sage"

src/doc/de/thematische_anleitungen/conf.py

@@ -20,6 +20,11 @@
 # contains common paths.
 html_static_path = [] + html_common_static_path
 
+# Add a small edit button.
+html_theme_options.update({
+  'source_edit_link': os.path.join(source_repository, 'blob/develop/src/doc/de/thematische_anleitungen', '{filename}'),
+})
+
 # General information about the project.
 project = "Thematische Anleitungen"
 name = 'ThematischeAnleitungen-de'

src/doc/de/tutorial/conf.py

@@ -20,6 +20,11 @@
 # contains common paths.
 html_static_path = [] + html_common_static_path
 
+# Add a small edit button.
+html_theme_options.update({
+  'source_edit_link': os.path.join(source_repository, 'blob/develop/src/doc/de/tutorial', '{filename}'),
+})
+
 # General information about the project.
 project = "Sage Tutorial"
 name = 'SageTutorial-de'