The issue occurs because some python scripts used to generate the manual were only python2 compatible. I've fixed this internally so that in the future the manual can be built using python3 or python2.

In the meantime, you can force the manual to be build using python2 with the following:

Or alternatively, you can see the built version of the 7.0.0 manual here <http://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf>

From: Devel <devel-bounces@sel4.systems> on behalf of Raymond Jennings <shentino@gmail.com>
Sent: Sunday, September 17, 2017 9:46 PM
To: Danis, Adrian (Data61, Kensington NSW)
Cc: devel
Subject: Re: [seL4] Problem making the manual

09ba9fc887491770af303909d4a08ac7718cf86e

On Wed, Sep 13, 2017 at 7:28 PM, <Adrian.Danis@data61.csiro.au> wrote:

Hi Raymond,

Can you please say what commit of the seL4 repository you are using.

Adrian

On Wed 13-Sep-2017 2:48 PM, Raymond Jennings wrote:
I got an error log when I tried "make" in the manual directory.

I got this:

====> Generating doxygen-output/xml/group__GeneralSystemCalls.xml

====> Generating doxygen-output/xml/group__DebuggingSystemCalls.xml

====> Generating doxygen-output/xml/group__BenchmarkingSystemCalls.xml

====> Generating doxygen-output/xml/group__ObjectApiX86.xml

====> Generating doxygen-output/xml/group__ObjectApiArm.xml

====> Generating doxygen-output/xml/group__ObjectApiAarch32.xml

====> Generating doxygen-output/xml/group__ObjectApiAarch64.xml

====> Generating doxygen-output/xml/group__ObjectApiIa32.xml

====> Generating doxygen-output/xml/group__ObjectApiX64.xml

====> Generating generated/GeneralSystemCalls.tex

Traceback (most recent call last):

File "tools/parse_doxygen_xml.py", line 327, in <module>

sys.exit(main())

File "tools/parse_doxygen_xml.py", line 321, in main

output_str = generate_general_syscall_doc(args.input, args.level)

File "tools/parse_doxygen_xml.py", line 276, in generate_general_syscall_doc

details, params, ret = parse_detailed_desc(member, ref_dict)

File "tools/parse_doxygen_xml.py", line 157, in parse_detailed_desc

ret_type = types_iter.next()

AttributeError: 'list_iterator' object has no attribute 'next'

make: *** [Makefile:126: generated/GeneralSystemCalls.tex] Error 1
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel