Makefile | 5 2 + 3 - 0 !
manual.xml | 6 0 + 6 - 0 !
misc/quickref.xml | 11 0 + 11 - 0 !
opcodes/top.xml | 6 0 + 6 - 0 !
4 files changed, 2 insertions(+), 26 deletions(-)

 don't build the opcodes we deleted

These opcodes were stripped from the manual at repack time.

Makefile | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 build with python3.