diff options
Diffstat (limited to 'manual/plugins/main.tex')
-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 fc608b5aa7..6ae771623a 100644 --- a/manual/plugins/main.tex +++ b/manual/plugins/main.tex | |||
@@ -133,6 +133,8 @@ the associated file. Viewers are stored in the | |||
133 | 133 | ||
134 | {\input{plugins/dice.tex}} | 134 | {\input{plugins/dice.tex}} |
135 | 135 | ||
136 | \opt{HAVE_LCD_BITMAP}{\input{plugins/disktidy.tex}} | ||
137 | |||
136 | \opt{player}{\input{plugins/euro_converter.tex}} | 138 | \opt{player}{\input{plugins/euro_converter.tex}} |
137 | 139 | ||
138 | {\input{plugins/favorites.tex}} | 140 | {\input{plugins/favorites.tex}} |