diff options
Diffstat (limited to 'manual/plugins/main.tex')
| -rw-r--r-- | manual/plugins/main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/plugins/main.tex b/manual/plugins/main.tex index 44fc776f77..9b600c8457 100644 --- a/manual/plugins/main.tex +++ b/manual/plugins/main.tex @@ -44,7 +44,7 @@ text files, chip8 games), or from the \setting{Open with} option on the \opt{player}{\input{plugins/nim.tex}} -\opt{h1xx,m5,lcd_color}{\input{plugins/pacbox.tex}} +\opt{h1xx,m5,lcd_color}{\nopt{c200}{\input{plugins/pacbox.tex}}} \opt{lcd_bitmap}{\input{plugins/pegbox.tex}} |