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: