New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Bug fixes #148

Merged

ndw merged 3 commits into docbook:main from ndw:fixes

Jul 2, 2022

Contributor

ndw commented Jul 2, 2022

Fix bug in the code that selects JDK 8 for release builds
Fix bug in python script, close Update docbook script to support installation using libs/ for classpath and not Maven #144
Fix bug in list continuation, close Error in continuing ordered list when previous list has a sublist #145

ndw added 3 commits

July 2, 2022 13:00


          Fix non-PR build issue

4c2c96b


          Don't need to find jars that are in libs/lib. Close docbook#144

a87f886


          Fix bug in list continuation. Close docbook#145

8b8a2c2

ndw merged commit e32ebe7 into docbook:main

ndw deleted the fixes branch

July 2, 2022 13:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet