diff options
Diffstat (limited to 'manual/appendix')
| -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 e74a74f..5144590 100644 --- a/manual/appendix/appendix.tex +++ b/manual/appendix/appendix.tex @@ -52,7 +52,8 @@ \input{appendix/wps_tags.tex} \chapter{\label{ref:config_file_options}Config file options} -\input{appendix/config_file_options.tex} +\ifpdfoutput{\input{appendix/config_file_options.tex}} +{\fixme{The config file options are omitted in the HTML version of the manual for now.}} \chapter{LCD Screen Sizes} \begin{center} |