Names for image files with -merge-add-bookmarks
This commit is contained in:
parent
bddda88b71
commit
1b940e7180
|
@ -3655,7 +3655,7 @@ let go () =
|
||||||
if args.merge_add_bookmarks then
|
if args.merge_add_bookmarks then
|
||||||
map2
|
map2
|
||||||
(fun filename pdf -> Cpdfbookmarks.add_bookmark_title filename args.merge_add_bookmarks_use_titles pdf)
|
(fun filename pdf -> Cpdfbookmarks.add_bookmark_title filename args.merge_add_bookmarks_use_titles pdf)
|
||||||
(map (function InFile s -> s | StdIn -> "" | AlreadyInMemory _ -> "") names)
|
(map (function InFile s -> s | StdIn -> "" | AlreadyInMemory (_, s) -> s) names)
|
||||||
pdfs
|
pdfs
|
||||||
else
|
else
|
||||||
pdfs
|
pdfs
|
||||||
|
|
Loading…
Reference in New Issue