diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/fifinddo-info/makevars/texvars.sh')
-rwxr-xr-x | Master/texmf-dist/source/latex/fifinddo-info/makevars/texvars.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/fifinddo-info/makevars/texvars.sh b/Master/texmf-dist/source/latex/fifinddo-info/makevars/texvars.sh new file mode 100755 index 00000000000..d18b6c62815 --- /dev/null +++ b/Master/texmf-dist/source/latex/fifinddo-info/makevars/texvars.sh @@ -0,0 +1,12 @@ +#!/bin/bash +# make dantev45.htm variants using makedots.tex +# U.L. 2011-10-23 +echo +echo remove symbolic .cfg link: +rm dantev45.cfg +latex makedots +mv -iv *.html LongHTML +echo restore symbolic .cfg link: +ln -sf SRC/DANTEV45.CFG dantev45.cfg +echo ' * DONE. *' +echo |