version
This commit is contained in:
parent
cc12dea5e6
commit
6c5bbe0a5b
|
@ -3,7 +3,7 @@ let demo = false
|
||||||
let noncomp = false
|
let noncomp = false
|
||||||
let major_version = 2
|
let major_version = 2
|
||||||
let minor_version = 4
|
let minor_version = 4
|
||||||
let version_date = "(devel, 11th December 2020)"
|
let version_date = "(devel, 15th December 2020)"
|
||||||
|
|
||||||
open Pdfutil
|
open Pdfutil
|
||||||
open Pdfio
|
open Pdfio
|
||||||
|
@ -3537,7 +3537,7 @@ let go () =
|
||||||
| (_, pagespec, _, _, _, _)::_, _ ->
|
| (_, pagespec, _, _, _, _)::_, _ ->
|
||||||
let pdf = get_single_pdf args.op true in
|
let pdf = get_single_pdf args.op true in
|
||||||
let range = parse_pagespec pdf pagespec in
|
let range = parse_pagespec pdf pagespec in
|
||||||
Cpdf.output_page_info (get_single_pdf (Some PageInfo) true) range
|
Cpdf.output_page_info pdf range
|
||||||
| _ -> error "list-bookmarks: bad command line"
|
| _ -> error "list-bookmarks: bad command line"
|
||||||
end
|
end
|
||||||
| Some Metadata ->
|
| Some Metadata ->
|
||||||
|
|
Loading…
Reference in New Issue