diff options
| author | Raimo Niskanen <[email protected]> | 2018-04-24 15:36:14 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2018-04-24 15:36:14 +0200 |
| commit | 685cd438232282ee0fa790517e7fe193110ff265 (patch) | |
| tree | 34f97b67026443afb1fccf75d6194884da48a6b5 /lib/erl_docgen/priv/dtd | |
| parent | 4b9d0a6e768966722f460d8bfa381b739165297f (diff) | |
| parent | 728bc036aa72a83080e933722f8ad409ede69f70 (diff) | |
| download | otp-685cd438232282ee0fa790517e7fe193110ff265.tar.gz otp-685cd438232282ee0fa790517e7fe193110ff265.tar.bz2 otp-685cd438232282ee0fa790517e7fe193110ff265.zip | |
Merge branch 'raimo/stdlib/gen_statem-dev/OTP-14015'
* raimo/stdlib/gen_statem-dev/OTP-14015:
Fix after feedback
Improve pointer to User's Guide
Fix after feedback on 'When to use'
Add a 'When to use' section
Fix timeout parsing and doc feedback
Improve doc, change images to .svg
erl_docgen: Implement width in image tag
Update User's Guide and pointers to it
Improve error reasons from state enter call
Diffstat (limited to 'lib/erl_docgen/priv/dtd')
| -rw-r--r-- | lib/erl_docgen/priv/dtd/common.image.dtd | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/erl_docgen/priv/dtd/common.image.dtd b/lib/erl_docgen/priv/dtd/common.image.dtd index d97057590e..138da3609b 100644 --- a/lib/erl_docgen/priv/dtd/common.image.dtd +++ b/lib/erl_docgen/priv/dtd/common.image.dtd @@ -18,5 +18,7 @@ $Id$ --> <!ELEMENT image (icaption) > -<!ATTLIST image file CDATA #REQUIRED > +<!ATTLIST image + file CDATA #REQUIRED + width CDATA #IMPLIED > <!ELEMENT icaption (#PCDATA) > |