changeset 1832 | d0c28d9c9141 |
parent 1671 | 3c82a0d9e0e7 |
child 1863 | 12e0db6b7d0e |
26:4ba17afe495d | 27:282c9c9d1f79 |
---|---|
36 Makefile.in \ |
36 Makefile.in \ |
37 lemon/Makefile.in \ |
37 lemon/Makefile.in \ |
38 test/Makefile.in \ |
38 test/Makefile.in \ |
39 benchmark/Makefile.in \ |
39 benchmark/Makefile.in \ |
40 demo/Makefile.in \ |
40 demo/Makefile.in \ |
41 gui/icons/Makefile.in \ |
|
41 gui/Makefile.in |
42 gui/Makefile.in |
42 |
43 |
43 doc-clean: |
44 doc-clean: |
44 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
45 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
45 |
46 |