summaryrefslogtreecommitdiff
path: root/Documentation/dontdiff
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 /Documentation/dontdiff
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 'Documentation/dontdiff')
-rw-r--r--Documentation/dontdiff1
1 files changed, 0 insertions, 1 deletions
diff --git a/Documentation/dontdiff b/Documentation/dontdiff
index 77b92221f951..f64a63b233c3 100644
--- a/Documentation/dontdiff
+++ b/Documentation/dontdiff
@@ -118,7 +118,6 @@ defkeymap.c
devlist.h*
devicetable-offsets.h
dnotify_test
-docproc
dslm
dtc
elf2ecoff