~naesten/coq/2008-09-makefile-tweaks

Viewing all changes in revision 10510.

  • Committer: Samuel Bronson
  • Date: 2009-09-04 04:31:05 UTC
  • Revision ID: naesten@gmail.com-20090904043105-cwa5i20y33ur24ip
Add a "sourcedocclean" target (split from "docclean") to match "source-doc".

"docclean" now depends on "source-doc", though, so it still cleans this too.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: