Navigation Menu

Skip to content

Commit

Permalink
Rename _images to image in sphinx2github.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
mooz committed Jun 29, 2011
1 parent 1cdad5c commit 6eaed25
Showing 1 changed file with 16 additions and 9 deletions.
25 changes: 16 additions & 9 deletions doc/ja/sphinx2github.sh
@@ -1,20 +1,27 @@
#!/bin/sh

rename()
{
old_name=$1
new_name=$2

if [ -d $old_name ]; then
rm -rf $new_name
mv $old_name $new_name
fi
}

cd html

if [ -d _static ]; then
rm -rf static
mv _static static
fi
if [ -d _sources ]; then
rm -rf sources
mv _sources sources
fi
rename _static static
rename _sources sources
rename _images images

file_names="`ls *.html`"
for file_name in $file_names; do
sed -e 's/_static/static/g' $file_name |
sed -e 's/_sources/sources/g' > buf.txt
sed -e 's/_sources/sources/g' |
sed -e 's/_images/images/g' > buf.txt
cp buf.txt $file_name
rm -f buf.txt
done

0 comments on commit 6eaed25

Please sign in to comment.