Today we have released Prince 10 rev 3, a maintenance release that includes some minor bug fixes and new features, including a new option --remap URL=DIR, more flexible than --fileroot.
Thank you to everyone who has provided feedback on Prince 10!
Thank you to everyone who has provided feedback on Prince 10!