diff options
| author | Lukas Larsson <[email protected]> | 2018-04-06 16:40:56 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-04-09 15:34:46 +0200 |
| commit | a91f4640bc4554f9a746afa65bacda0e1a60afc0 (patch) | |
| tree | 98c3aeffbe7815591b48d809e4846accee563c20 /make/emd2exml.in | |
| parent | 42205c9a8daf7e974331d5df48b061611412e9d9 (diff) | |
| download | otp-a91f4640bc4554f9a746afa65bacda0e1a60afc0.tar.gz otp-a91f4640bc4554f9a746afa65bacda0e1a60afc0.tar.bz2 otp-a91f4640bc4554f9a746afa65bacda0e1a60afc0.zip | |
erl_docgen: Add ghlink step for all non-generated doc xml files
In order to get line numbers into the ghlink we have to add a post
processing step for all xml files.
Diffstat (limited to 'make/emd2exml.in')
| -rwxr-xr-x | make/emd2exml.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/emd2exml.in b/make/emd2exml.in index 13bd6700d9..57bcaba24d 100755 --- a/make/emd2exml.in +++ b/make/emd2exml.in @@ -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). |