diff Makefile @ 34277:e85a6a143edf

debian: adjust documentation build process, which now works non-recursively
author diego
date Tue, 29 Nov 2011 05:05:16 +0000
parents 1c35122fba8c
children 6e7f60f6f9d4
line wrap: on
line diff