From f908a95fbc9c21ee5bc8aa1c084583f1273f66fe Mon Sep 17 00:00:00 2001
From: Christoph Groth <christoph.groth@cea.fr>
Date: Sat, 13 Apr 2013 14:55:18 +0200
Subject: [PATCH] add back .sh suffix to generate-diffs (allows for a simpler
MANIFEST.in)
---
doc/source/images/{generate-diffs => generate-diffs.sh} | 0
doc/source/tutorial/README | 2 +-
2 files changed, 1 insertion(+), 1 deletion(-)
rename doc/source/images/{generate-diffs => generate-diffs.sh} (100%)
diff --git a/doc/source/images/generate-diffs b/doc/source/images/generate-diffs.sh
similarity index 100%
rename from doc/source/images/generate-diffs
rename to doc/source/images/generate-diffs.sh
diff --git a/doc/source/tutorial/README b/doc/source/tutorial/README
index b8473b1e..b7174b90 100644
--- a/doc/source/tutorial/README
+++ b/doc/source/tutorial/README
@@ -7,5 +7,5 @@ and running ``make doc/source/images/SCRIPT.py`` in doc. Now examine the newly
created doc/source/images/SCRIPT.py. If you do not like the result or the
patch did not apply, edit doc/source/images/SCRIPT.py until you like it. You
can run `make html` during your edits to check things. Finally, even if you
-did not edit the script, execute generate-diffs in doc/source/images. If
+did not edit the script, execute generate-diffs.sh in doc/source/images. If
the patches applied cleanly the diff files will usually stay unchanged.
--
GitLab