From c8bb8c6751acdd56e87115c49daece7b864b309b Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefan@sun.ac.za>
Date: Wed, 14 Oct 2009 07:48:14 +0200
Subject: [PATCH] Plot_directive: copy source files to output.

---
 doc/ext/plot_directive.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/ext/plot_directive.py b/doc/ext/plot_directive.py
index 8de8c739..24dc5598 100644
--- a/doc/ext/plot_directive.py
+++ b/doc/ext/plot_directive.py
@@ -342,6 +342,8 @@ def run(arguments, content, options, state_machine, state, lineno):
         f = open(target_name, 'w')
         f.write(unescape_doctest(code))
         f.close()
+    else:
+        shutil.copy(source_file_name, dest_dir)
 
     return []