diff options
Diffstat (limited to 'manual/plugins/main.tex')
| -rw-r--r-- | manual/plugins/main.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/plugins/main.tex b/manual/plugins/main.tex index fd6a610d3b..9cf27e00a4 100644 --- a/manual/plugins/main.tex +++ b/manual/plugins/main.tex | |||
| @@ -39,6 +39,9 @@ text files% | |||
| 39 | \opt{lcd_bitmap}{\input{plugins/goban.tex}} | 39 | \opt{lcd_bitmap}{\input{plugins/goban.tex}} |
| 40 | } | 40 | } |
| 41 | 41 | ||
| 42 | \opt{lcd_non-mono}{\nopt{h10_5gb,ipodmini,c200}{ | ||
| 43 | \input{plugins/invadrox.tex}}} | ||
| 44 | |||
| 42 | \opt{player}{\input{plugins/jackpot.tex}} | 45 | \opt{player}{\input{plugins/jackpot.tex}} |
| 43 | 46 | ||
| 44 | \opt{lcd_bitmap}{\input{plugins/jewels.tex}} | 47 | \opt{lcd_bitmap}{\input{plugins/jewels.tex}} |