From 8df8094a9af50b706944882afb25d7de5c28ae3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Loeuillet?= Date: Mon, 27 Sep 2004 19:59:08 +0000 Subject: [PATCH] fix really old / no more relevant info on devhelp support/integration Original commit message from CVS: fix really old / no more relevant info on devhelp support/integration --- DOCBUILDING | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/DOCBUILDING b/DOCBUILDING index 248962ab2b..4fedea5147 100644 --- a/DOCBUILDING +++ b/DOCBUILDING @@ -41,16 +41,8 @@ pdftops DEVHELP INTEGRATION ------------------- -Check http://devhelp.sourceforge.net/ +Check http://www.imendio.com/projects/devhelp/ It's a really nice development app allowing you to look up API stuff from various gtk-doc'd libraries. GStreamer is one of these ;) -Currently we keep our devhelp files in CVS until devhelp has settled down. - -We'll keep them in a devhelp/ directory - -For now, I put tools to generate the devhelp files in this dir, as well as -the generated devhelp files. It's easier to have one person generate the -devhelp files once in a while than to do it in every build. Until devhelp -settles down or we get a clue, that is ;) - +gtk-doc generates both html API docs and the matching .devhelp files