Update sync-docs target to use git porcelain instead of cogito
authorJonas Fonseca <fonseca@diku.dk>
Thu, 31 May 2007 09:25:49 +0000 (11:25 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Thu, 31 May 2007 09:42:03 +0000 (11:42 +0200)
commita49dc47141232e7e505acbae2d21918e8e4d8534
tree345e0e3bf4f28be3d3bd6924d020ef2ae08df5a5
parent8cdf56913e7e486bb3f527c24ee4a4d19f2a4f61
Update sync-docs target to use git porcelain instead of cogito
Makefile