#!/bin/sh
sed -e '/^-----File: .*\.png---------------------------------------------------------$/d' -e '/^\[Blank Page\]$/d' $1 | awk '
/^#\// { \
    getline; \
    if ($0 == "/#") \
	next; \
    print "#/"; \
    print; \
    next; \
} \
/^\*\// { \
    getline; \
    if ($0 == "/*") \
	next; \
    print "*/"; \
    print; \
    next; \
} \
{ print }; \
'> $2