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