# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1256737328 -3600
# Node ID 804e6d3d4fe169f50f5078c68e0601950efa73c0
# Parent  9294e8fad5e94df91f2a0a46d53d923372bcac5f
in the HTML documentation generation of "make dist", orient on ids rather than comments

diff -r 9294e8fad5e9 -r 804e6d3d4fe1 Makefile
--- a/Makefile	Wed Oct 28 13:37:52 2009 +0100
+++ b/Makefile	Wed Oct 28 14:42:08 2009 +0100
@@ -232,10 +232,10 @@
 	mkdir  '$(DIST_DIR)/mingw-cross-env-$(VERSION)/doc'
 	mkdir  '$(DIST_DIR)/mingw-cross-env-$(VERSION)/src'
 	( \
-	    $(SED) -n '1,/<!-- begin of package list -->/ p' '$(TOP_DIR)/doc/index.html' && \
+	    $(SED) -n '1,/<table id="package-list">/ p' '$(TOP_DIR)/doc/index.html' && \
 	    ($(foreach PKG,$(PKGS), \
 	        echo '    <tr><td><a href="$($(PKG)_WEBSITE)">$(PKG)</a></td><td>$($(PKG)_VERSION)</td></tr>';)) && \
-	    $(SED) -n '/<!-- end of package list -->/,$$ p' '$(TOP_DIR)/doc/index.html' \
+	    $(SED) '1,/<table id="package-list">/ d' '$(TOP_DIR)/doc/index.html' \
 	) \
 	| $(SED) 's,\(<span class="version">\)[^<]*\(</span>\),\1$(VERSION)\2,g' \
 	| $(SED) 's,\(<span class="target">\)[^<]*\(</span>\),\1$(TARGET)\2,g' \
diff -r 9294e8fad5e9 -r 804e6d3d4fe1 doc/index.html
--- a/doc/index.html	Wed Oct 28 13:37:52 2009 +0100
+++ b/doc/index.html	Wed Oct 28 14:42:08 2009 +0100
@@ -27,7 +27,7 @@
         li, dt {
             margin-bottom: 0.8em;
         }
-        .authors li {
+        #authors li {
             margin-bottom: 0em;
         }
         .usage dt {
@@ -660,16 +660,14 @@
 <div class="section">
 <h2 id="packages">List of Packages</h2>
 
-    <table>
-    <!-- begin of package list -->
-    <!-- end of package list -->
+    <table id="package-list">
     </table>
 </div>
 
 <div class="section">
 <h2 id="copyright">Copyright © 2009</h2>
 
-    <ul class="authors">
+    <ul id="authors">
         <li>Volker Grabsch</li>
         <li>Rocco Rutte</li>
         <li>Andreas Roever</li>