New repo.sh migration
This commit is contained in:
parent
9bcf8c7c2d
commit
1d5562b073
@ -84,7 +84,7 @@ tex2md()
|
||||
git rm -f "$i" > /dev/null
|
||||
fi
|
||||
|
||||
sed -Ei 's/`%%([a-z-])\(([^)]+)\)`/%%\1(\2)/gi' "$DEST/${bi%%.tex}.md"
|
||||
sed -Ei 's/`%%([a-z-]+)\(([^)]+)\)`/%%\1(\2)/gi' "$DEST/${bi%%.tex}.md"
|
||||
sed -Ei 's/\\$/\n/' "$DEST/${bi%%.tex}.md"
|
||||
done
|
||||
}
|
||||
@ -114,7 +114,7 @@ clean_tex()
|
||||
exit 1;
|
||||
fi
|
||||
|
||||
for f in data Makefile images/acu.pdf images/assistants.pdf images/assistants-subject.pdf images/assistants-slides.pdf images/assistants.png images/epita.pdf images/epita.png images/epita-invert.pdf images/assistants-invert.pdf images/epita-invert.png images/assistants-bg.png images/logo_epita.jpg images/acu-bottom.png images/acu-bottom.pdf images/acu-bg.pdf images/acu2011.png images/acu.png *.cls *.sty
|
||||
for f in data Makefile images/acu.pdf images/assistants.pdf images/assistants-subject.pdf images/assistants-slides.pdf images/assistants.png images/epita.pdf images/epita.png images/epita-invert.pdf images/assistants-invert.pdf images/epita-invert.png images/assistants-bg.png images/logo_epita.jpg images/acu-bottom.png images/acu-bottom.pdf images/acu-bg.pdf images/acu2011.png images/acu.png images/acu_2012_logo_hd.png *.cls *.sty *.toc
|
||||
do
|
||||
if [ -f "$f" ]
|
||||
then
|
||||
@ -321,6 +321,7 @@ do
|
||||
then
|
||||
echo -e "\e[1;32m##\e[1;37m Find directory $DIR with some .tex files \e[1;32m##\e[0m"
|
||||
cd "$DIR"
|
||||
git rm *.tex
|
||||
clean_tex `pwd` `readlink -f "$(pwd)/.."`
|
||||
echo -e "\e[1;32m## ## ## ## ##\e[0m"
|
||||
echo
|
||||
@ -348,6 +349,18 @@ do
|
||||
git rm -rf "$f" > /dev/null
|
||||
fi
|
||||
done
|
||||
|
||||
# Append Fact lines
|
||||
if [ -f "Makefile" ]
|
||||
then
|
||||
cat <<EOF >> Makefile
|
||||
fact:
|
||||
rm -rf ref.ff
|
||||
\${FACT} package create ../ref ref.ff
|
||||
\${FACT} make make ref.ff ref.ff
|
||||
EOF
|
||||
fi
|
||||
|
||||
cd - > /dev/null
|
||||
fi
|
||||
done
|
||||
|
Reference in New Issue
Block a user