Create the doc/mpl_examples symlink if not existing.

mdboom · mdboom · commit 63405ffaa3fb · 2013-07-02T14:25:37.000-04:00
diff --git a/doc/make.py b/doc/make.py
@@ -236,6 +236,12 @@ def all():
 os.chdir(os.path.dirname(os.path.join(current_dir, __file__)))
 copy_if_out_of_date('../INSTALL', 'users/installing.rst')
 
+# Create the examples symlink, if it doesn't exist
+if not os.path.exists('mpl_examples'):
+    if hasattr(os, 'symlink'):
+        os.symlink('../examples', 'mpl_examples')
+    else:
+        shutil.copytree('../examples', 'mpl_examples')
 
 if len(sys.argv)>1:
     if '--small' in sys.argv[1:]:
