Guest User

Untitled

a guest
Feb 16th, 2019
96
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.52 KB | None | 0 0
  1. diff --git a/manual/cmds/ocamldoc.etex b/manual/cmds/ocamldoc.etex
  2. index 563c6df..55e119b 100644
  3. --- a/manual/cmds/ocamldoc.etex
  4. +++ b/manual/cmds/ocamldoc.etex
  5. @@ -753,7 +753,9 @@ text: {{text-element}}
  6. @||@&@ '{[' string ']}' @ & set the given @string@ in preformatted
  7. source code style.\\
  8. @||@&@ '{v' string 'v}' @ & set the given @string@ in verbatim style. \\
  9. -@||@&@ '{%' string '%}' @ & take the given @string@ as raw \LaTeX\ code.\\
  10. +@||@&@ '{%' string '%}' @ & target-specific content
  11. + (\LaTeX\ code by default, see details
  12. + in \ref{sss:target-specific-syntax}) \\
  13. @||@&@ '{!' string '}' @ & insert a cross-reference to an element
  14. (see below \ref{sss:crossref} for the syntax of cross-references).\\
  15. @||@&@ '{!modules:' string string ... '}' @ & insert an index table
  16. @@ -830,6 +832,15 @@ names. For example, the constructor "Node" of the type "tree" will be
  17. referenced as "{!tree.Node}" or "{!const:tree.Node}", or possibly
  18. "{!Mod1.Mod2.tree.Node}" from outside the module.
  19.  
  20. +\subsubsection*{Target-specific formatting}
  21. +\label{sss:target-specific-syntax}
  22. +
  23. +The content inside "{%foo: ... %}" is target-specific and will only be
  24. +interpreted by the backend "foo", and ignored by the others. The
  25. +backends of the distribution are "latex", "html", "texi" and "man". If
  26. +no target is specified (syntax "{% ... %}"), "latex" is chosen by
  27. +default. Custom generators may support their own target prefix.
  28. +
  29. \subsubsection*{First sentence}
  30.  
  31. In the description of a value, type, exception, module, module type, class
Add Comment
Please, Sign In to add comment