1#!/bin/sh
2set -e
3if [ -z "$scripts_objtree" ]
4then
5	X=`$TOPDIR/scripts/gen-all-syms "$*"`
6	$TOPDIR/scripts/docproc $X
7else
8	X=`${scripts_objtree}gen-all-syms "$*"`
9	TOPDIR=. ${scripts_objtree}docproc $X
10fi
11