I'm not sure if we really want to install the API docs yet, but I was
reviewing Tomi's patch and it occured to me that this was one more
place where we could stop hardcoding the version number.

Reply via email to