#! /usr/bin/gawk -f
# Last edited on 2004-12-30 20:50:31 by stolfi

# remove-comments - REMOVE COMENTARIOS, LINHAS EM BRANCO E CARRIAGE RETURN

/^[ \t]*[#]/ { next; }				# ignora comentarios

/^[ \t\r]*$/ { next; }				# ignora linha em branco

//  {
    gsub(/[\r]+/,"")				# retira carriage return se arquivo eh do dos
    gsub(/[ \t]+/," ")				# converte espacos e tabs multiplos para um so espaco
    gsub(/^[ ]/,"")				# retira espaco no inicio da linha
    gsub(/[ ]$/,"")				# retira espaco no fim da linha
    printf("%s\n", $0)				# imprime a linha modificada
    }