comparison doc/ui-ops.dox @ 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 500c785c109d
children e3bf822c19c8
comparison
equal deleted inserted replaced
21804:fb73a6ed8197 21805:1ba8e97ca24c