diff options
Diffstat (limited to 'scripts/docgen')
| -rwxr-xr-x | scripts/docgen | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/scripts/docgen b/scripts/docgen deleted file mode 100755 index a7183053d28f..000000000000 --- a/scripts/docgen +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -set -e -if [ -z "$scripts_objtree" ] -then - X=`$TOPDIR/scripts/gen-all-syms "$*"` - $TOPDIR/scripts/docproc $X -else - X=`${scripts_objtree}gen-all-syms "$*"` - TOPDIR=. ${scripts_objtree}docproc $X -fi |