Ticket #35999: Makefile.diff

File Makefile.diff, 278 bytes (added by benoit.triquet@…, 12 years ago)

  • doc-new/Makefile

     
    118118clean:
    119119        $(RM) -rf $(GUIDE)/resources/xsl
    120120        $(RM) -rf $(GUIDE_RESULT)
     121        $(RM) -rf $(GUIDE_RESULT_DBLATEX)
    121122        $(RM) -rf $(MAN_RESULT)
    122123        $(RM) -rf $(MAN_TMP)
    123124        $(RM) -rf $(MAN_XSL)