diff options
Diffstat (limited to 'manual/appendix/appendix.tex')
| -rw-r--r-- | manual/appendix/appendix.tex | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/manual/appendix/appendix.tex b/manual/appendix/appendix.tex index a5b9083b06..c41c5f4df0 100644 --- a/manual/appendix/appendix.tex +++ b/manual/appendix/appendix.tex | |||
| @@ -5,9 +5,7 @@ | |||
| 5 | 5 | ||
| 6 | \input{appendix/wps_tags.tex} | 6 | \input{appendix/wps_tags.tex} |
| 7 | 7 | ||
| 8 | \chapter{\label{ref:config_file_options}Config file options} | 8 | \input{appendix/config_file_options.tex} |
| 9 | \ifpdfoutput{\input{appendix/config_file_options.tex}} | ||
| 10 | {\fixme{The config file options are omitted in the HTML version of the manual for now.}} | ||
| 11 | 9 | ||
| 12 | \chapter{User feedback}\label{sec:feedback} | 10 | \chapter{User feedback}\label{sec:feedback} |
| 13 | \section{Bug reports} | 11 | \section{Bug reports} |