equal
deleted
inserted
replaced
28 doc/doxygen.log \ |
28 doc/doxygen.log \ |
29 src/Makefile.in \ |
29 src/Makefile.in \ |
30 src/lemon/Makefile.in \ |
30 src/lemon/Makefile.in \ |
31 src/test/Makefile.in \ |
31 src/test/Makefile.in \ |
32 src/benchmark/Makefile.in \ |
32 src/benchmark/Makefile.in \ |
33 src/demo/Makefile.in |
33 src/demo/Makefile.in \ |
|
34 src/gui/Makefile.in \ |
|
35 src/gui/src/Makefile.in |
34 |
36 |
35 docs: |
37 docs: |
36 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
38 $(MAKE) -C doc $(AM_MAKEFLAGS) clean html |
37 |
39 |
38 benchmark: |
40 benchmark: |