manual/tools/latex_warning.sh

#! /usr/bin/env bash

# $Header:  $
# $Name:  $

echo ' ' `basename $0` ': extract warnings from file:' $1 'into:' $2

sed -n '/ Warning/,/^ *$/p' $1 | sed '/^ *$/d' > $2

1	#! /usr/bin/env bash
2
3	# $Header: $
4	# $Name: $
5
6	echo ' ' `basename $0` ': extract warnings from file:' $1 'into:' $2
7
8	sed -n '/ Warning/,/^ $/p' $1 \| sed '/^ $/d' > $2
9