diff options
Diffstat (limited to 'manual/plugins')
-rw-r--r-- | manual/plugins/main.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/plugins/main.tex b/manual/plugins/main.tex index 73e1648b94..fd6a610d3b 100644 --- a/manual/plugins/main.tex +++ b/manual/plugins/main.tex | |||
@@ -35,7 +35,9 @@ text files% | |||
35 | 35 | ||
36 | {\input{plugins/flipit.tex}} | 36 | {\input{plugins/flipit.tex}} |
37 | 37 | ||
38 | \nopt{recorder,recorderv2fm,ondio}{ | ||
38 | \opt{lcd_bitmap}{\input{plugins/goban.tex}} | 39 | \opt{lcd_bitmap}{\input{plugins/goban.tex}} |
40 | } | ||
39 | 41 | ||
40 | \opt{player}{\input{plugins/jackpot.tex}} | 42 | \opt{player}{\input{plugins/jackpot.tex}} |
41 | 43 | ||