mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-04-10 07:14:04 +02:00
The user has to select some pages and then click on the "Save As" menu item in the Manage menu. If they modify the structure of the pdf (deleted, moved, copied pages), they have to use the usual save button.