482d7534a2
with "extract do local" now being equivalent to "extract path .". This allows extraction files to be put in a subdirectory and not clog up the current working directory. Also: Fixed some behavior around the use of "ext2spice -p <path>" so that it (1) works, and (2) is compatible with the new "extract path". Since the ext2spice and ext2sim commands are effectively independent of the primary extraction, the "-p" option is needed to correspond to the use of "extract path". Hopefully this is seen as only a minor inconvenience. |
||
|---|---|---|
| .. | ||
| html | ||
| latexfiles | ||
| man | ||
| psfigures | ||
| psfiles | ||
| textfiles | ||
| tutcells | ||
| Makefile | ||