Update the URL library manual.
authorChong Yidong <cyd@gnu.org>
Thu, 8 Nov 2012 19:03:49 +0000 (03:03 +0800)
committerChong Yidong <cyd@gnu.org>
Thu, 8 Nov 2012 19:03:49 +0000 (03:03 +0800)
commit82f84fa3cdebaa4083621e7226f7abab3b8ba88f
treedadb28318e8a0998b144a3cbf55a19655a8f9042
parentfedb154e30405ae0f4be8a582a6252a4d3eb75b5
Update the URL library manual.

* doc/misc/url.texi (Introduction): Rename from Getting Started.
Rewrite the introduction.
(URI Parsing): Rewrite.  Omit the obsolete attributes slot.
doc/misc/ChangeLog
doc/misc/url.texi
etc/NEWS