Merge pull request #11 from ThomasDelteil/jenkins_docs_pipeline

Jenkins docs pipeline
ThomasDelteil · Aug 13, 2019 · 071fa23 · 071fa23
2 parents 748b083 + 5b9c912
commit 071fa23
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 10 deletions.
diff --git a/docs/static_site/src/.htaccess b/docs/static_site/src/.htaccess
@@ -0,0 +1,24 @@
+Options -Indexes
+DirectorySlash off
+RewriteEngine on
+RewriteOptions AllowNoSlash
+
+# Show file instead of folder for example /api/docs/tutorials.html
+# instead of /api/docs/tutorials/
+RewriteCond %{REQUEST_FILENAME} -d
+RewriteCond %{REQUEST_FILENAME}\.html -f
+RewriteRule ^(.*) $1.html [NC,L]
+
+# Prettify some files like tutorials/io to tutorials/io.html
+RewriteCond %{REQUEST_FILENAME}\.html -f
+RewriteRule ^(.*) $1.html [NC,L]
+
+#API docs needs specific root
+RewriteCond %{REQUEST_URI} \/docs\/api$|\/docs\/tutorials$
+RewriteRule ^(.*) %{REQUEST_URI}/ [R,NC,L]
+
+# Prettify folders like /get_started
+RewriteCond %{REQUEST_URI} !\/$
+RewriteCond %{REQUEST_FILENAME} -d
+RewriteCond %{REQUEST_FILENAME}/index.html -f
+RewriteRule ^(.*) $1/index.html [NC,L]
diff --git a/docs/static_site/src/Makefile b/docs/static_site/src/Makefile
diff --git a/docs/static_site/src/pages/api/api.html b/docs/static_site/src/pages/api/api.html
@@ -58,7 +58,7 @@
   tag: julia
 - title: R
   guide_link: /api/r
-  api_link: /api/r/docs/api
+  api_link: https://s3.amazonaws.com/mxnet-prod/docs/R/mxnet-r-reference-manual.pdf
   tutorial_link: /api/r/docs/tutorials
   description:
   icon: /assets/img/R_logo.svg