[Discuss-gnuradio] usrp make install breaks when no doctools installed

[Martin Dvh]

I don't have the docbuilding tools installed (on my windows box)
This breaks the make install of usrp.
The cause is that DOCBOOK_HTML_FILES is empty when you don't have the doc tools
This results in a
for i in ; do
Index: doc/Makefile.am

Which won't work.
I allways use the patch below, but does anybody know how to really repair this.

Greetings,
Martin

===================================================================
RCS file: /cvsroot/opensdr/usrp/doc/Makefile.am,v
retrieving revision 1.6
diff -u -r1.6 Makefile.am
--- doc/Makefile.am     19 Aug 2005 22:39:46 -0000      1.6
+++ doc/Makefile.am     25 Jan 2006 03:02:23 -0000
@@ -60,12 +60,7 @@
                echo "$(INSTALL_DATA) $$i $(DESTDIR)$(docdir)"; \
                $(INSTALL_DATA) $$i $(DESTDIR)$(docdir); \
        done
-
        mkdir -p $(DESTDIR)$(docdir)/html
-       @for i in $(DOCBOOK_HTML_FILES); do \
-               echo "$(INSTALL_DATA) $$i $(DESTDIR)$(docdir)/html"; \
-               $(INSTALL_DATA) $$i $(DESTDIR)$(docdir)/html; \
-       done
        cp -r html $(DESTDIR)$(docdir)

 uninstall-local: