## Images

## Storing images

Any image files (.png, .jpg, .gif, ...) MUST be stored in a separate branch. By
default, those filetypes are ignored in this git repository, and must be added
with `git add -f "${file}"`.

### Generating images

All images in the *out* or the *intermediate* directory must be processed with
the following command:

```
convert "${in}" -resize 600x -ordered-dither 3x3 -colorspace gray "${out}"
convert "${in}" -resize 600x -ordered-dither 3x3 -colors 16 "${out}"
```

- The use of `-colors 16` is encouraged for colored pictures.