summaryrefslogtreecommitdiff
path: root/more/lib_guide.htm
diff options
context:
space:
mode:
authorBeman Dawes <bdawes@acm.org>2002-12-16 13:54:56 +0000
committerBeman Dawes <bdawes@acm.org>2002-12-16 13:54:56 +0000
commit54bb65dbfc5e80724cff19726e8c4cb1decc5293 (patch)
tree3562621fefa8a6ba06b733f708e7adac0eedc060 /more/lib_guide.htm
parentbaf07a3b965fd118a72de9f9ff877b3bd20d54a8 (diff)
downloadboost-54bb65dbfc5e80724cff19726e8c4cb1decc5293.tar.gz
Clarify redirection, add rationale
[SVN r16623]
Diffstat (limited to 'more/lib_guide.htm')
-rw-r--r--more/lib_guide.htm12
1 files changed, 9 insertions, 3 deletions
diff --git a/more/lib_guide.htm b/more/lib_guide.htm
index e6d1bd00c7..a83a2d125c 100644
--- a/more/lib_guide.htm
+++ b/more/lib_guide.htm
@@ -270,8 +270,14 @@ library, but a reasonable effort to comply is expected.</p>
</table>
</blockquote>
<h4><a name="Redirection">Redirection</a></h4>
-<p>If the documentation is in a doc sub-directory, the primary directory should
-contain an index.html file which redirects to the doc subdirectory:</p>
+<p>The primary directory should always contain a file named index.html (or
+index.htm). Authors have requested this so that they can publish URL's in the
+form <i>http://www.boost.org/libs/lib-name</i> with the assurance a
+documentation reorganization won't invalidate the URL. Boost's internal tools
+are also simplified by knowing that a library's documentation is always
+reachable via the simplified URL.</p>
+<p>If the documentation is in a doc sub-directory, the primary directory index.html file
+should just do an automatic redirection to the doc subdirectory:</p>
<blockquote>
<pre>&lt;html&gt;
&lt;head&gt;
@@ -435,7 +441,7 @@ suggestion.&nbsp; Major contributions are usually acknowledged in the
documentation, while minor fixes are often mentioned in comments within the code
itself.</p>
<hr>
-<p>Revised <!--webbot bot="Timestamp" s-type="EDITED" s-format="%d %B, %Y" startspan -->19 September, 2002<!--webbot bot="Timestamp" endspan i-checksum="39348" --></p>
+<p>Revised <!--webbot bot="Timestamp" s-type="EDITED" s-format="%d %B, %Y" startspan -->16 December, 2002<!--webbot bot="Timestamp" endspan i-checksum="38515" --></p>
</body>