diff options
| -rw-r--r-- | core/file.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/core/file.c b/core/file.c index b30bcd55e..85bc949fe 100644 --- a/core/file.c +++ b/core/file.c @@ -1177,6 +1177,14 @@ int parse_manual_file(const char *filename, char **params, int pnr) if (try_to_xslt_open_csv(filename, &mem, "manualCSV")) return -1; +#ifndef SUBSURFACE_MOBILE + if (verbose >= 2) { + fprintf(stderr, "(echo '<manualCSV>'; cat %s;echo '</manualCSV>') | xsltproc ", filename); + for (i=0; params[i]; i+=2) + fprintf(stderr, "--stringparam %s %s ", params[i], params[i+1]); + fprintf(stderr, "%s/xslt/manualcsv2xml.xslt -\n", SUBSURFACE_SOURCE); + } +#endif ret = parse_xml_buffer(filename, mem.buffer, mem.size, &dive_table, (const char **)params); free(mem.buffer); |