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 f500d8084e..39b36f0a3c 100644 --- a/manual/plugins/main.tex +++ b/manual/plugins/main.tex | |||
@@ -42,7 +42,7 @@ text files% | |||
42 | \opt{lcd_non-mono}{\nopt{h10_5gb,ipodmini,c200}{ | 42 | \opt{lcd_non-mono}{\nopt{h10_5gb,ipodmini,c200}{ |
43 | \input{plugins/invadrox.tex}}} | 43 | \input{plugins/invadrox.tex}}} |
44 | 44 | ||
45 | \opt{player}{\input{plugins/jackpot.tex}} | 45 | {\input{plugins/jackpot.tex}} |
46 | 46 | ||
47 | \opt{lcd_bitmap}{\input{plugins/jewels.tex}} | 47 | \opt{lcd_bitmap}{\input{plugins/jewels.tex}} |
48 | 48 | ||