Documentation build is broken

Sergey Starosek sergey.starosek at
Tue Dec 10 03:47:39 UTC 2013

On Mon, Dec 9, 2013 at 5:14 PM, Dirk Hohndel <dirk at> wrote:
> To heck with this. The -a theme='theme' version works on my version as
> well, so I just pushed a commit that uses that instead. Can you verify
> that this works for you, Sergey?

 asciidoc: WARNING: user-manual.txt: line 11: include file not found:

And font is serif. Need to specify "stylesdir" attribute to make both
default "asciidoc.js" and custom CSS be embedded into HTML.
See attached patch (tested against asciidoc 8.6.5)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-asciidoc-CSS-path.patch
Type: text/x-patch
Size: 1024 bytes
Desc: not available
URL: <>

More information about the subsurface mailing list