build problems with man pages on linux

Jonathan Gibbons jonathan.gibbons at oracle.com
Tue Jun 23 00:10:17 UTC 2020


You need something like pandoc 2.3.1

-- Jon

On 6/22/20 4:58 PM, Philip Race wrote:
> from Ubuntu 16.04 Linux
>
> $ which pandoc
> /usr/bin/pandoc
>
> $ pandoc --version
> pandoc 1.16.0.2
> Compiled with texmath 0.8.4.1, highlighting-kate 0.6.1.
> Syntax highlighting is supported for the following languages:
>     abc, actionscript, ada, agda, apache, asn1, asp, awk, bash, 
> bibtex, boo, c,
>     changelog, clojure, cmake, coffee, coldfusion, commonlisp, cpp, 
> cs, css,
>     curry, d, diff, djangotemplate, dockerfile, dot, doxygen, 
> doxygenlua, dtd,
>     eiffel, email, erlang, fasm, fortran, fsharp, gcc, glsl, 
> gnuassembler, go,
>     haskell, haxe, html, idris, ini, isocpp, java, javadoc, 
> javascript, json,
>     jsp, julia, kotlin, latex, lex, lilypond, literatecurry, 
> literatehaskell,
>     llvm, lua, m4, makefile, mandoc, markdown, mathematica, matlab, 
> maxima,
>     mediawiki, metafont, mips, modelines, modula2, modula3, monobasic, 
> nasm,
>     noweb, objectivec, objectivecpp, ocaml, octave, opencl, pascal, 
> perl, php,
>     pike, postscript, prolog, pure, python, r, relaxng, 
> relaxngcompact, rest,
>     rhtml, roff, ruby, rust, scala, scheme, sci, sed, sgml, sql, 
> sqlmysql,
>     sqlpostgresql, tcl, tcsh, texinfo, verilog, vhdl, xml, xorg, xslt, 
> xul,
>     yacc, yaml, zsh
> Default user data directory: /home/prrace/.pandoc
> Copyright (C) 2006-2015 John MacFarlane
> Web:  http://pandoc.org
> This is free software; see the source for copying conditions.
> There is no warranty, not even for merchantability or fitness
> for a particular purpose.
>
> -phil.
>
> On 6/22/20, 4:49 PM, Jonathan Gibbons wrote:
>> Phil,
>>
>> What version of pandoc are you using?  One from jib, or some other 
>> version, e.g from Linux.
>>
>> -- Jon
>>
>> On 6/22/20 4:42 PM, Philip Race wrote:
>>> I've been working on Windows and Mac issues for the last several 
>>> weeks so it has
>>> been some time since I even tried to build JDK on my Ubuntu 1604 
>>> system.
>>> In the interim it seems to have stopped working. I get these errors :
>>>
>>> LauncherCommon.gmk:223: recipe for target 
>>> '/build/linux-x86_64-server-release/support/markdown/BUILD_MAN_PAGES_keytool.md_post.tmp' 
>>> failed
>>> Creating support/modules_cmds/java.rmi/rmid from 1 file(s)
>>> Creating support/modules_cmds/java.rmi/rmiregistry from 1 file(s)
>>> LauncherCommon.gmk:223: recipe for target 
>>> '/build/linux-x86_64-server-release/support/markdown/BUILD_MAN_PAGES_rmid.md_post.tmp' 
>>> failed
>>> make/Main.gmk:228: recipe for target 'java.rmi-launchers' failed
>>> LauncherCommon.gmk:223: recipe for target 
>>> '/build/linux-x86_64-server-release/support/markdown/BUILD_MAN_PAGES_java.md_post.tmp' 
>>> failed
>>> make/Main.gmk:228: recipe for target 'java.base-launchers' failed
>>>
>>> Could it be related to this fix
>>> changeset:   59638:88ba70c9da28
>>> user:        ihse
>>> date:        Sat Jun 06 02:04:21 2020 +0200
>>> summary:     8246435: Replace Javascript implementation of pandoc 
>>> filters with Java
>>>
>>>
>>> In case it is relevant configure always reports ...
>>>
>>> checking for pandoc... /usr/bin/pandoc
>>> checking if the pandoc smart extension needs to be disabled for 
>>> markdown... pandoc: unrecognized option `--list-extensions'
>>> Try pandoc --help for more information.
>>>
>>> .. but it is not clear .. that has never been a problem before.
>>>
>>> -phil
>>>



More information about the build-dev mailing list