diff options
| author | Loïc Hoguin <[email protected]> | 2015-12-29 00:28:30 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-12-29 00:28:30 +0100 |
| commit | be976cf37aff634fc9668e15e7a0b1adacf89595 (patch) | |
| tree | 495017d8f08cb2431edbe760e914d6f2388b87a9 /plugins | |
| parent | 60e3b55fe07d087504a4e9f5c163d5cb75afbcfa (diff) | |
| download | erlang.mk-be976cf37aff634fc9668e15e7a0b1adacf89595.tar.gz erlang.mk-be976cf37aff634fc9668e15e7a0b1adacf89595.tar.bz2 erlang.mk-be976cf37aff634fc9668e15e7a0b1adacf89595.zip | |
Generate proper filenames in the docs' HTML output
This will allow to provide permanent URLs to the documentation.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions