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