daily pastebin goal
19%
SHARE
TWEET

Untitled

a guest Feb 16th, 2019 65 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top