--- ./Makefile.orig 2011-11-22 20:21:04.000000000 +0100 +++ ./Makefile 2011-12-03 14:33:37.000000000 +0100 @@ -90,6 +90,8 @@ IKIWIKI=ikiwiki endif +manuals: $(mans) + docs: $(mans) $(IKIWIKI) doc html -v --wikiname git-annex --plugin=goodstuff \ --no-usedirs --disable-plugin=openid --plugin=sidebar \