diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/featpost/bashscript/insertinputcommands.sh')
-rwxr-xr-x | Master/texmf-dist/doc/metapost/featpost/bashscript/insertinputcommands.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/metapost/featpost/bashscript/insertinputcommands.sh b/Master/texmf-dist/doc/metapost/featpost/bashscript/insertinputcommands.sh deleted file mode 100755 index d562871aed7..00000000000 --- a/Master/texmf-dist/doc/metapost/featpost/bashscript/insertinputcommands.sh +++ /dev/null @@ -1,6 +0,0 @@ -for a in *.mp; do mv $a `basename $a mp`mpN; done -for a in *.mpN - do sed -f ../bashscript/insertinputcommands.sed $a > `basename $a mpN`mp -done -#rm *.mpN - |