Commit ce85bc7be74fc265cf39d8c85024b2da44eeeb0c

Bruno Haible 2008-09-14T12:36:24

Doc tweak.