#!/usr/bin/python

######################################################################
#  Use GNU source-hightlight to turn source code into postscript.
#
#  2023-01-14 Sat
# Dov Grobgeld <dov.grobgeld@gmail.com>
######################################################################

