#115: Complete the list of distributed Milena headers -----------------------+---------------------------------------------------- Reporter: levill_r | Owner: Olena Team Type: task | Status: closed Priority: major | Milestone: Olena 1.0 Component: Milena | Version: 1.0 Resolution: fixed | Keywords: distribution HEADERS dist_HEADERS -----------------------+---------------------------------------------------- Changes (by levill_r):

* status: new => closed * resolution: => fixed

Comment:

This task is handled by source:trunk/milena/generate_dist_headers.sh since r3058.

Use `make regen` to update all generated Makefile helpers (instead of relaunching the time-consuming `boostrap`).