diff options
Diffstat (limited to 'fixTexts.sh')
| -rwxr-xr-x | fixTexts.sh | 1 |
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 |
