diff options
| author | Derek Buitenhuis <derek.buitenhuis@gmail.com> | 2011-12-12 13:01:12 -0500 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2011-12-13 23:34:23 +0100 |
| commit | 86ae5124539c4077bca0b2c7686f87da39acb6b5 (patch) | |
| tree | 42e5132697c3e49e0747fe904d047058e15d75e2 /doc/developer.texi | |
| parent | 144904e901d557a8af1d73bd217ec15bc4bedb85 (diff) | |
doc: make developer.texi point to correct fate doc
Signed-off-by: Derek Buitenhuis <derek.buitenhuis@gmail.com>
Signed-off-by: Diego Biurrun <diego@biurrun.de>
Diffstat (limited to 'doc/developer.texi')
| -rw-r--r-- | doc/developer.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer.texi b/doc/developer.texi index e484520413..046743fd62 100644 --- a/doc/developer.texi +++ b/doc/developer.texi @@ -514,6 +514,6 @@ Improvements to codec or demuxer might change the FATE results. Make sure to commit the update reference with the change and to explain in the comment why the expected result changed. -Please refer to @file{doc/fate.txt}. +Please refer to @url{fate.html}. @bye |