Skip to content
Snippets Groups Projects
Commit fdb0e001 authored by Nat Goodspeed's avatar Nat Goodspeed
Browse files

Use viewer_manifest.py magic to rename embedded html dir to html.old.

Previous attempt at this same feat copied "*/html" and then iterated through
every such directory in the copy-target space, renaming each individually with
os.rename(). Richard kindly pointed out that it can be done more simply by
using a viewer_manifest.py feature permitting wildcards even in dst= args.
parent fdddd37d
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment