summaryrefslogtreecommitdiff
path: root/fixTexts.sh
diff options
context:
space:
mode:
Diffstat (limited to 'fixTexts.sh')
-rwxr-xr-xfixTexts.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/fixTexts.sh b/fixTexts.sh
index 30ee0c52..09689c8d 100755
--- a/fixTexts.sh
+++ b/fixTexts.sh
@@ -1,3 +1,4 @@
#!/bin/bash
rst2html README.rst > Readme.html
rst2html COMPILE.rst > Compile.html
+rst2html DEVEL.rst > Devel.html