diff options
| author | Lukas Larsson <[email protected]> | 2016-06-14 09:43:27 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2016-06-14 09:43:27 +0200 |
| commit | 2f3286f7eb10f7460e68cd268651e767e24048ef (patch) | |
| tree | 70188efad57610562a4d3db1790bf58194688f37 /erts/doc/src/erl_driver.xml | |
| parent | d08201b22997975bccae635bf47ddec6b585c5a8 (diff) | |
| parent | 7b5ca88b32c22a7f1a3152265d8d73418013b1c0 (diff) | |
| download | otp-2f3286f7eb10f7460e68cd268651e767e24048ef.tar.gz otp-2f3286f7eb10f7460e68cd268651e767e24048ef.tar.bz2 otp-2f3286f7eb10f7460e68cd268651e767e24048ef.zip | |
Merge branch 'lukas/erts/xmllint-fixes/OTP-13672'
* lukas/erts/xmllint-fixes/OTP-13672:
erts: Fix doc xml errors
Diffstat (limited to 'erts/doc/src/erl_driver.xml')
| -rw-r--r-- | erts/doc/src/erl_driver.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/erts/doc/src/erl_driver.xml b/erts/doc/src/erl_driver.xml index 175b7f6bfb..82215ead46 100644 --- a/erts/doc/src/erl_driver.xml +++ b/erts/doc/src/erl_driver.xml @@ -348,14 +348,14 @@ all will work as before.</p> </item> <tag><marker id="time_measurement"/>Time Measurement</tag> - <item><p>Support for time measurement in drivers: + <item><p>Support for time measurement in drivers:</p> <list> <item><seealso marker="#ErlDrvTime"><c>ErlDrvTime</c></seealso></item> <item><seealso marker="#ErlDrvTimeUnit"><c>ErlDrvTimeUnit</c></seealso></item> <item><seealso marker="#erl_drv_monotonic_time"><c>erl_drv_monotonic_time()</c></seealso></item> <item><seealso marker="#erl_drv_time_offset"><c>erl_drv_time_offset()</c></seealso></item> <item><seealso marker="#erl_drv_convert_time_unit"><c>erl_drv_convert_time_unit()</c></seealso></item> - </list></p> + </list> </item> </taglist> </section> |