#!/bin/sh cat $1 | sed 's/@endcomment/*\//g' | sed 's/@startcomment/\/*/g'