#!/usr/bin/env python3
"""Empaqueta favicon.ico (16, 32, 48) a partir de los PNG exportados. Uso: python3 tools/make-ico.py"""
import struct
sizes=[16,32,48]; datas=[open(f'png/favicon/favicon-{s}.png','rb').read() for s in sizes]
hdr=struct.pack('<HHH',0,1,len(sizes)); off=6+16*len(sizes); dirs=b''
for s,d in zip(sizes,datas):
    dirs+=struct.pack('<BBBBHHII', s if s<256 else 0, s if s<256 else 0, 0,0,1,32,len(d),off); off+=len(d)
open('png/favicon/favicon.ico','wb').write(hdr+dirs+b''.join(datas)); print('png/favicon/favicon.ico')