More todo
This commit is contained in:
parent
3de1482bf3
commit
6ca7848cf7
3 changed files with 12 additions and 1 deletions
2
Makefile
2
Makefile
|
|
@ -113,7 +113,7 @@ publish-doc: documentation
|
|||
allclean:
|
||||
rm -f $(DOC_ALL)
|
||||
|
||||
distclean:
|
||||
distclean: allclean
|
||||
rm -f $(DOCBDOCS)
|
||||
|
||||
#
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue