=== modified file 'render_files' --- render_files 2014-05-07 14:56:28 +0000 +++ render_files 2014-03-20 11:04:35 +0000 @@ -3,7 +3,7 @@ mkdir -p head/${1%/*} || exit $? if test raw/"$1" -nt head.old/"$1".html; then # TODO: escape filename!! - vim /dev/null 2>&1 raw/"$1" +'set modeline' +'e!' +'set nornu number fdm=' +TOhtml '+w! head/'"$1".html '+qa!' + vim /dev/null 2>&1 raw/"$1" +'set nornu number fdm=' +TOhtml '+w! head/'"$1".html '+qa!' touch -r raw/"$1" head/"$1".html else mv head.old/"$1".html head/"$1".html