Messages in this thread | | | Subject | htmldocs broken | From | Johannes Berg <> | Date | Mon, 07 Nov 2011 10:28:34 +0100 |
| |
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
| |