Makefile/doc maintenance: - doc/Makefile.am: fixed make rebuild in doc - doc/html/*.html: rebuilt the docs Daniel
2001-01-27T17:50:22