diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-04 17:43:22 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-04 17:43:22 +0200 |
| commit | 861c45b6c16e76e901553739bdb7d7c7e2f827f0 (patch) | |
| tree | 9825b7b2a184f371a5686c3c8c2c21d24812a442 /doc | |
| parent | cab1191dfb7738c020a1eef9e9d4efe6c4f27a51 (diff) | |
Fix incorrect specification of source style option in doc file.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/haddock.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/haddock.xml b/doc/haddock.xml index b28006f6..e2845212 100644 --- a/doc/haddock.xml +++ b/doc/haddock.xml @@ -577,8 +577,8 @@ $ pdflatex <replaceable>package</replaceable>.tex</screen> <varlistentry> <term> - <indexterm><primary><option>--source-style</option></primary></indexterm> - <option>--source-style=<replaceable>style</replaceable></option> + <indexterm><primary><option>--source-css</option></primary></indexterm> + <option>--source-css=<replaceable>style</replaceable></option> </term> <listitem> <para>Use custom CSS file for sources rendered by the |