diff ChangeLog @ 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 e3e64d1e4869
children 41959f031322
line wrap: on
line diff