This is the mail archive of the
insight@sourceware.org
mailing list for the Insight project.
[PATCH] Support `make html' for plugins
- From: "Maciej W. Rozycki" <macro at mips dot com>
- To: insight at sourceware dot org
- Cc: "Maciej W. Rozycki" <macro at linux-mips dot org>
- Date: Thu, 26 Jul 2007 14:05:58 +0100 (BST)
- Subject: [PATCH] Support `make html' for plugins
Hello,
There is a problem with `make html' when issued from the gdb/ directory
(used mainly to build some documentation in gdb/doc/) if the Insight
subdirectory is present. If this is the case, the command fails in
gdb/gdbtk/plugins/:
make[4]: Entering directory `.../gdb/gdbtk/plugins'
Making html in rhabout
make[5]: Entering directory `.../gdb/gdbtk/plugins/rhabout'
make[5]: *** No rule to make target `html'. Stop.
make[5]: Leaving directory `.../gdb/gdbtk/plugins/rhabout'
make[4]: *** [html-recursive] Error 1
make[4]: Leaving directory `.../gdb/gdbtk/plugins'
The reason is the template used for plugins is not automake-generated, so
it has to supply the goal explicitly.
2007-07-26 Maciej W. Rozycki <macro@mips.com>
* Make-rules (html): Add goal.
Applied as obvious.
Maciej
gdbtk-plugins-html.diff
Index: gdb/src/gdb/gdbtk/plugins/Make-rules
===================================================================
--- gdb.orig/src/gdb/gdbtk/plugins/Make-rules 2007-07-26 13:32:46.000000000 +0100
+++ gdb/src/gdb/gdbtk/plugins/Make-rules 2007-07-26 13:46:53.000000000 +0100
@@ -112,6 +112,7 @@
$(INSTALL_DATA) $(srcdir)/$$i $(libdir)/insight1.0/$(PLUGIN)/$$i ; \
done ;
+html:
info:
install-info:
clean: $(CLEAN_TARGET)