view doc/interpreter/config-images.sh @ 15524:15628a84a4fa stable

Document form of warning IDs is NAMESPACE:WARNING-NAME (bug #37559) * errors.txi: Add explanation of warning ID form to documentation. Correct example code to properly use warning IDs. * error.cc (Fwarning): Document form of warning ID in warning() docstring.
author Rik <rik@octave.org>
date Mon, 15 Oct 2012 07:18:31 -0700
parents b67c2d580a25
children
line wrap: on
line source

#! /bin/sh

set -e

: ${AWK=awk}

if [ $# -eq 1 ]; then
  top_srcdir="$1";
else
  top_srcdir="../.."
fi

move_if_change="$top_srcdir/build-aux/move-if-change"

interp_dir=$top_srcdir/doc/interpreter

$AWK -f $interp_dir/images.awk < $interp_dir/images > $interp_dir/images.mk-t

$move_if_change $interp_dir/images.mk-t $interp_dir/images.mk