#!/bin/sh
#	no-ident 0.01
#
#	Copyright (C) 2002:	Manel Marin
#	Licence:		GNU GPL version >= 2
#
#
#	Remove identation from the beginning of lines
#
#	Mostly for removing ident of "pretty print" output of mozilla composer
#	in HTML modified pages which can double size of doc in intensive table
#	use 
#

# FILE TO PROCESS IN $1

awk '

# REMOVE IDENT IN EVERY LINE -> REPLACE ALL SPACE/TAB GROUPS BY ONE SPACE
# because gsub does not recognize "^[ \t]*" but removes all spaces everywhere
# I have to do in this way...

    {
	gsub( "[ \t]+", " ", $0 )

# AND PRINT

	print
    }

' $1 > $1.new