[Bug 692421] Can't see both 0.10 and 1.0 doc in devhelp

[GStreamer (bugzilla.gnome.org)]

https://bugzilla.gnome.org/show_bug.cgi?id=692421
  GStreamer | common | git

--- Comment #6 from Stefan Sauer (gstreamer, gtkdoc dev) <ensonic at sonicpulse.de> 2013-01-25 17:06:37 UTC ---
Okay, I figured it out. We also need to update the part were we install the
devhelp2 files:
@@ -289,9 +286,9 @@ install-data-local:
              $(INSTALL_DATA) $$i $(DESTDIR)$(TARGET_DIR); \
            done; \
          fi; \
-         echo '-- Installing $(builddir)/html/$(DOC_MODULE).devhelp2' ; \
-         if test -e $(builddir)/html/$(DOC_MODULE).devhelp2; then \
-                   $(INSTALL_DATA) $(builddir)/html/$(DOC_MODULE).devhelp2 \
+         echo '-- Installing
$(builddir)/html/$(DOC_MODULE)- at GST_API_VERSION@.devhelp2' ; \
+         if test -e $(builddir)/html/$(DOC_MODULE)- at GST_API_VERSION@.devhelp2;
then \
+                   $(INSTALL_DATA)
$(builddir)/html/$(DOC_MODULE)- at GST_API_VERSION@.devhelp2 \
                   
$(DESTDIR)$(TARGET_DIR)/$(DOC_MODULE)- at GST_API_VERSION@.devhelp2; \
          fi; \
          $(GTKDOC_REBASE) --relative --dest-dir=$(DESTDIR)
--html-dir=$(DESTDIR)$(TARGET_DIR) || true ; \

Olivier, can you update your change and push? Otherwise I can do it later
tonight as well.

-- 
Configure bugmail: https://bugzilla.gnome.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
You are the assignee for the bug.