htmldocs broken

From: Johannes Berg
Date: Mon Nov 07 2011 - 04:28:43 EST


I frequently run

make htmldocs DOCBOOKS=80211.xml

because I don't want to build all of it. I guess since "[media] DocBook:
Move all media docbook stuff into its own directory", this is broken:

$ make htmldocs DOCBOOKS=80211.xml
HTML Documentation/DocBook/80211.html
rm -rf Documentation/DocBook/index.html; echo '<h1>Linux Kernel HTML Documentation</h1>' >> Documentation/DocBook/index.html && echo '<h2>Kernel Version: 3.1.0</h2>' >> Documentation/DocBook/index.html && cat Documentation/DocBook/80211.html >> Documentation/DocBook/index.html
cp: target `/home/johannes/sys/laptop/Documentation/DocBook//media_api' is not a directory

Any thoughts about how to fix it?

johannes

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/