diff options
Diffstat (limited to 'src/sisudoc/spine.d')
| -rw-r--r-- | src/sisudoc/spine.d | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/sisudoc/spine.d b/src/sisudoc/spine.d index 2862303..ed55298 100644 --- a/src/sisudoc/spine.d +++ b/src/sisudoc/spine.d @@ -831,7 +831,16 @@ string program_name = "spine"; _is = false; } } else if ( + /+ ↓ show_abstraction and ocda_db belong here for the same reason as + the rest: each writes one file per document per language and + shares no handle. --pod2 and --source, which also set + show_abstraction, and the shared sqlite db actions are taken out + by the guard above before this list is reached, so listing them + here does not parallelise those + +/ opts["abstraction"] + || show_abstraction + || ocda_db || concordance || curate || html |