|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
# This file:
# http://anggtwu.net/bin/mypygments.sh.html
# http://anggtwu.net/bin/mypygments.sh
# (find-angg "bin/mypygments.sh")
# Author: Eduardo Ochs <eduardoochs@gmail.com>
#
# (defun e () (interactive) (find-angg "bin/mypygments.sh"))
# (find-es "pygments" "mypygments.sh")
#
# «.extractdefs» (to "extractdefs")
# «.outertex» (to "outertex")
# «extractdefs» (to ".extractdefs")
extractdefs () {
gawk '
/makeatletter/ { out = 1 }
out == 1 { print }
/makeatother/ { out = 0 }
'
}
# «outertex» (to ".outertex")
outertex () {
echo "\\\\documentclass{article}"
echo "\\\\usepackage{fancyvrb}"
echo "\\\\usepackage{color}"
#echo "\\\\usepackage[utf8]{inputenc}"
echo "\\\\begin{document}"
echo " \\\\input $1"
echo " \\\\input $2"
echo "\\\\end{document}"
}
: <<'%%%%%'
* (eepitch-sh)
* (eepitch-kill)
* (eepitch-sh)
. mypygments.sh
outertex A B
%%%%%
# Local Variables:
# coding: utf-8-unix
# End: