diff options
| -rw-r--r-- | manual/appendix/appendix.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/appendix/appendix.tex b/manual/appendix/appendix.tex index e74a74f779..5144590796 100644 --- a/manual/appendix/appendix.tex +++ b/manual/appendix/appendix.tex | |||
| @@ -52,7 +52,8 @@ | |||
| 52 | \input{appendix/wps_tags.tex} | 52 | \input{appendix/wps_tags.tex} |
| 53 | 53 | ||
| 54 | \chapter{\label{ref:config_file_options}Config file options} | 54 | \chapter{\label{ref:config_file_options}Config file options} |
| 55 | \input{appendix/config_file_options.tex} | 55 | \ifpdfoutput{\input{appendix/config_file_options.tex}} |
| 56 | {\fixme{The config file options are omitted in the HTML version of the manual for now.}} | ||
| 56 | 57 | ||
| 57 | \chapter{LCD Screen Sizes} | 58 | \chapter{LCD Screen Sizes} |
| 58 | \begin{center} | 59 | \begin{center} |