[gcc-python-plugin] make html from top-level

commit 76897290d095844d423138796d9d9b8b13c3f5a3 Author: Tom Tromey tromey@redhat.com Date: Thu Jun 30 09:06:35 2011 -0600

make html from top-level

I've tried to 'make html' at the top level a few times now, so I thought I'd send the obvious patch...

Tom

Makefile | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) --- diff --git a/Makefile b/Makefile index e050dfc..15d6114 100644 --- a/Makefile +++ b/Makefile @@ -134,3 +134,6 @@ test-suite: plugin

show-ssa: plugin ./gcc-with-python show-ssa.py test.c + +html: + cd docs && $(MAKE) html