From 03210d53e194a904570f6eee8743f226c26e93a3 Mon Sep 17 00:00:00 2001 From: Frederic Ye Date: Tue, 25 Oct 2011 19:05:49 +0200 Subject: [PATCH] [fix] opadoc: fix for files node --- opadoc/common/opaDocComment.opa | 11 +---------- opadoc/common/opaDocUtils.opa | 15 +++++++++++++++ opadoc/generator/opaDocTree.opa | 1 + 3 files changed, 17 insertions(+), 10 deletions(-) diff --git a/opadoc/common/opaDocComment.opa b/opadoc/common/opaDocComment.opa index 2689fa7b..a8d31229 100644 --- a/opadoc/common/opaDocComment.opa +++ b/opadoc/common/opaDocComment.opa @@ -265,16 +265,7 @@ OpaDocComment = content = file_content(fname) //do jlog(fname) - len = String.length(fname) - path = "_build/" // FIXME: VERY specific to build !!! - path_len = String.length(path) - fname = match String.index(path, fname) - {some=idx} -> - match String.get_suffix(len-idx-path_len, fname) - {some=s} -> s - {none} -> fname - end - {none} -> fname + fname = OpaDocUtils.relative_path(fname) match Parser.parse(private.extract, content) with | [] -> [] diff --git a/opadoc/common/opaDocUtils.opa b/opadoc/common/opaDocUtils.opa index 4a0ecfb0..22c07468 100644 --- a/opadoc/common/opaDocUtils.opa +++ b/opadoc/common/opaDocUtils.opa @@ -98,4 +98,19 @@ OpaDocUtils = {{ then String.replace(File.dir_sep, ".", p) else legacy_uri_of_path(p) + relative_path(fname) = + if not(OpaDocParameters.get().long_uris) + then fname + else + len = String.length(fname) + path = "_build/" // FIXME: VERY specific to build !!! + path_len = String.length(path) + match String.index(path, fname) + {some=idx} -> + match String.get_suffix(len-idx-path_len, fname) + {some=s} -> s + {none} -> fname + end + {none} -> fname + }} diff --git a/opadoc/generator/opaDocTree.opa b/opadoc/generator/opaDocTree.opa index 3e9e859e..15873d4d 100644 --- a/opadoc/generator/opaDocTree.opa +++ b/opadoc/generator/opaDocTree.opa @@ -280,6 +280,7 @@ OpaDocTree = {{ of_files(files) = aux(acc, path) = + path = OpaDocUtils.relative_path(path) key = {file = path} path_dot = OpaDocUtils.uri_of_path(path) node = {