Set the value of log.processed to FALSE when inserting a
[gnucomo.git] / Makefile
1 doc::
2         make -C doc
3
4 clean::
5         make -C doc clean