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	jmc	1.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