blob: 4d1f057a46125c5b21873978b2aa623f6f442e5b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
## 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.
|
