diff options
| author | Hans Bolinder <[email protected]> | 2019-04-09 10:17:03 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-11 09:06:13 +0200 |
| commit | e176ee0b10ae8d846ac0867576b1fd77ec397fa2 (patch) | |
| tree | 2f1230081e3c2542f82037b72062a8ecc7d29dfd /system/doc | |
| parent | 8487c67c2e5738d05a49f110be21b9ff8943a4c9 (diff) | |
| download | otp-e176ee0b10ae8d846ac0867576b1fd77ec397fa2.tar.gz otp-e176ee0b10ae8d846ac0867576b1fd77ec397fa2.tar.bz2 otp-e176ee0b10ae8d846ac0867576b1fd77ec397fa2.zip | |
syntax_tools: Fix doc link
A link that used to work for 'make edocs' only, now works for 'make
release_docs' and on erlang.org as well.
Diffstat (limited to 'system/doc')
0 files changed, 0 insertions, 0 deletions