=== modified file 'render_files'
--- render_files 2017-11-20 23:17:34 +0000
+++ render_files 2017-11-07 00:33:45 +0000
@@ -11,7 +11,7 @@
''$1'' '' &&
- pygmentize-2 -g -f html -O linenos=table,lineanchors=L,anchorlinenos=True raw/"$1" &&
+ pygmentize-2 -g -f html raw/"$1" &&
printf "%s\n" ''
} > head/.tmp.html &&
touch -r raw/"$1" head/.tmp.html && \