summaryrefslogtreecommitdiff
path: root/scripts/.gitignore
diff options
context:
space:
mode:
authorJonathan Corbet <corbet@lwn.net>2017-06-23 14:17:38 -0600
committerJonathan Corbet <corbet@lwn.net>2017-06-23 14:17:38 -0600
commit52b3f239bb692d9b3a68461798fb15c011e4108e (patch)
treef751570b8af26c01210f3a91045bf349ccc2dc25 /scripts/.gitignore
parent61ca5fd1927522b36d00e30c3523f2a03faf49fa (diff)
Docs: clean up some DocBook loose ends
There were a few bits and pieces left over from the now-disused DocBook toolchain; git rid of them. Reported-by: Markus Heiser <markus.heiser@darmarit.de> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/.gitignore')
-rw-r--r--scripts/.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/.gitignore b/scripts/.gitignore
index e063daa3ec4a..0442c06eefcb 100644
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -7,7 +7,6 @@ pnmtologo
unifdef
ihex2fw
recordmcount
-docproc
check-lc_ctype
sortextable
asn1_compiler