- Clean up leftovers after make lint
This commit is contained in:
parent
a2e17a8562
commit
3a2d8092b9
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/projects/xml-tools/; revision=40859
1 changed files with 1 additions and 0 deletions
|
@ -701,6 +701,7 @@ ${DOC}.${_curformat}:
|
|||
|
||||
lint validate: ${SRCS}
|
||||
${XMLLINT} --nonet --noout --noent --valid ${MASTERDOC}
|
||||
@${RM} -rf ${CLEANFILES} ${CLEANDIRS}
|
||||
|
||||
# ------------------------------------------------------------------------
|
||||
#
|
||||
|
|
Loading…
Reference in a new issue