diff options
Diffstat (limited to 'make/emd2exml.in')
| -rwxr-xr-x | make/emd2exml.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/emd2exml.in b/make/emd2exml.in index b4e052fef5..57bcaba24d 100755 --- a/make/emd2exml.in +++ b/make/emd2exml.in @@ -1,6 +1,6 @@ #!@ENV@ escript %% -*- erlang -*- -%%! -smp disable +%%! %% %% %CopyrightBegin% @@ -747,7 +747,7 @@ header(#state{ofile = {File, _}} = S0, Title) -> integer_to_list(Day), "</date>", nl(), "<rev>1</rev>", nl(), - "<file>",File,"</file>", nl(), + "<file>",filename:basename(File),"</file>", nl(), "</header>", nl()]), put_delayed(S3, ?DELAYED_TOC_IX). |