def distclean(ctx): _cleandocs() # Now call waf's normal distclean Scripting.distclean(ctx)
def distclean(ctx): Scripting.distclean(ctx) _remove_linguas_file()