diff README @ 21805:1ba8e97ca24c

Ari noticed that `make docs` no longer functions properly when the build directory is different from the source directory. This should solve that. Fixes #4329.
author John Bailey <rekkanoryo@rekkanoryo.org>
date Mon, 10 Dec 2007 03:53:08 +0000
parents 56042b2f8b64
children
line wrap: on
line diff