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 2d10ffe81b..ab2430bd0c 100644 --- a/manual/plugins/main.tex +++ b/manual/plugins/main.tex | |||
| @@ -135,7 +135,7 @@ the associated file. Viewers are stored in the | |||
| 135 | 135 | ||
| 136 | {\input{plugins/dice.tex}} | 136 | {\input{plugins/dice.tex}} |
| 137 | 137 | ||
| 138 | \opt{HAVE_LCD_BITMAP}{\input{plugins/disktidy.tex}} | 138 | {\input{plugins/disktidy.tex}} |
| 139 | 139 | ||
| 140 | \opt{player}{\input{plugins/euro_converter.tex}} | 140 | \opt{player}{\input{plugins/euro_converter.tex}} |
| 141 | 141 | ||