docproc: Remove
authorTom Rini <trini@konsulko.com>
Wed, 25 Jul 2018 15:42:58 +0000 (11:42 -0400)
committerTom Rini <trini@konsulko.com>
Fri, 3 Aug 2018 23:53:54 +0000 (19:53 -0400)
commit8e0d51f80afaa27e27a90ced2446683f7f58bbbc
tree23566fcf9c402292cfc76ced6ac0b2fc3143dab2
parentfe9805fc7fe757072f8020ad154aa5aae6241afe
docproc: Remove

Now that we have moved to Sphinx documentation we don't need the docproc
app anymore, remove.

Signed-off-by: Tom Rini <trini@konsulko.com>
scripts/.gitignore
scripts/Makefile
scripts/docproc.c [deleted file]