#!/bin/bash sed "/\/\//d" $1 |\ sed "/\/\*/,/\*\/$/d"