Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1687719
| From | Jim Davis <jim.epost@gmail.com> |
|---|---|
| Newsgroups | linux.kernel |
| Subject | Re: [PATCH v2 00/53] Get rid of Docbook |
| Date | 2017-07-15 01:20 +0200 |
| Message-ID | <u3i2m-1SH-7@gated-at.bofh.it> (permalink) |
| References | (1 earlier) <tIxpo-5Nu-29@gated-at.bofh.it> <tICIp-1Ed-5@gated-at.bofh.it> <tT06K-14T-15@gated-at.bofh.it> <u00lj-3rk-9@gated-at.bofh.it> <u0aNH-1Z7-5@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On Thu, Jul 6, 2017 at 1:54 AM, Markus Heiser <markus.heiser@darmarit.de> wrote: > 52b3f23 Docs: clean up some DocBook loose ends Speaking of minor loose ends, make SPHINXDIRS=userspace-api pdfdocs works -- though now that it's all sphinx, wouldn't just DIRS be better? -- and make DOCBOOKS=userspace-api pdfdocs still works too. But that generates all of the pdf files, and not just the userspace-api.pdf. And running now-dead targets like "make ps" or "make sgmldocs" or "make mandocs" just returns with no output. -- Jim
Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: [PATCH v2 00/53] Get rid of Docbook Jim Davis <jim.epost@gmail.com> - 2017-07-05 23:50 +0200
Re: [PATCH v2 00/53] Get rid of Docbook Markus Heiser <markus.heiser@darmarit.de> - 2017-07-06 11:00 +0200
Re: [PATCH v2 00/53] Get rid of Docbook Jim Davis <jim.epost@gmail.com> - 2017-07-15 01:20 +0200
Re: [PATCH v2 00/53] Get rid of Docbook Mauro Carvalho Chehab <mchehab@s-opensource.com> - 2017-07-15 04:00 +0200
csiph-web