--- linux-docs.Orig/linux-docs-3.12.16.ebuild	2014-04-14 15:29:15.000000000 +0100
+++ linux-docs/linux-docs-3.12.16.ebuild	2014-06-27 15:52:18.849904549 +0100
@@ -55,6 +55,9 @@
 	make installmandocs || die "make installmandocs failed"
 
 	if use html; then
+		# There is no subdirectory named "index"
+		dohtml Documentation/DocBook/index.html
+		rm Documentation/DocBook/index.html
 		for file in Documentation/DocBook/*.html; do
 			dohtml -r ${file/\.html/}
 		done