Commit d6dd769d authored by ian@well-typed.com's avatar ian@well-typed.com

Update darcs -> git in a comment

parent 5ba23dfa
......@@ -1047,7 +1047,7 @@ publish-docs:
#
# A source dist is built from a complete build tree, because we
# require some extra files not contained in a darcs checkout: the
# require some extra files not contained in a git checkout: the
# output from Happy and Alex, for example.
#
# The steps performed by 'make dist' are as follows:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment