diff options
| author | Diego Nieto Cid <dnietoc@gmail.com> | 2010-12-31 02:10:39 -0300 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-22 01:35:40 +0200 |
| commit | 2f8e829bdc2e868d1872e21b4acae404a2316e68 (patch) | |
| tree | 3a0d5a6173c44fbb1bbb8cac8469cf6522371ba0 /usermux | |
| parent | eacf2c5de2245dfb7f248f3ff6149dd75ada919c (diff) | |
Fix 'make dist' in doc.
* doc/Makefile (DIST_FILES): Remove target files.
(lndist): Depend on lndist-info-targets
(lndist-info-targets): New target. Distribute target files.
Diffstat (limited to 'usermux')
0 files changed, 0 insertions, 0 deletions