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} |