diff options
Diffstat (limited to 'manual/platform/player.tex')
| -rw-r--r-- | manual/platform/player.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/manual/platform/player.tex b/manual/platform/player.tex index e3c04eea13..eddd5eddfc 100644 --- a/manual/platform/player.tex +++ b/manual/platform/player.tex | |||
| @@ -1,6 +1,5 @@ | |||
| 1 | % $Id$ % | 1 | % $Id$ % |
| 2 | \def\UseOption{player} | 2 | \def\UseOption{player} |
| 3 | \edef\UseOption{\UseOption,MASCODEC} | ||
| 4 | \edef\UseOption{\UseOption,PLAYER_PAD} | 3 | \edef\UseOption{\UseOption,PLAYER_PAD} |
| 5 | \edef\UseOption{\UseOption,HAVE_BACKLIGHT} | 4 | \edef\UseOption{\UseOption,HAVE_BACKLIGHT} |
| 6 | \edef\UseOption{\UseOption,HAVE_DISK_STORAGE} | 5 | \edef\UseOption{\UseOption,HAVE_DISK_STORAGE} |