I've tried to 'make html' at the top level a few times now, so I thought
I'd send the obvious patch...
Tom
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
Show replies by date