distcheck fixups: generate those files automatically to explain doxygen where to...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@809 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/configure.ac b/configure.ac
index 1fc372f..515da6e 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -132,9 +132,10 @@ AC_CONFIG_FILES([
   src/Makefile
   src/amok/Makefile
   examples/Makefile 
   src/Makefile
   src/amok/Makefile
   examples/Makefile 

-  examples/ping/Makefile      examples/ping/test_sg     examples/ping/test_rl
-  examples/msg/Makefile 
+    examples/ping/Makefile      examples/ping/test_sg     examples/ping/test_rl
+    examples/msg/Makefile 

   doc/Makefile
   doc/Makefile

+    doc/Doxyfile.main           doc/Doxyfile.API          doc/Doxyfile.Examples   

   tools/compile-remote-worker
   testsuite/Makefile
   testsuite/run_tests    
   tools/compile-remote-worker
   testsuite/Makefile
   testsuite/run_tests    

diff --git a/doc/Doxyfile.API b/doc/Doxyfile.API.in
similarity index 98%
rename from doc/Doxyfile.API
rename to doc/Doxyfile.API.in
index b2aacb1..d016e38 100644 (file)
--- a/doc/Doxyfile.API
+++ b/doc/Doxyfile.API.in
@@ -1,3 +1,6 @@
+
+#               @WARNING@
+

 # Doxyfile 1.3.6-20040222
 
 # This file describes the settings to be used by the documentation system
 # Doxyfile 1.3.6-20040222
 
 # This file describes the settings to be used by the documentation system


@@ -104,7 +107,7 @@ FULL_PATH_NAMES        = YES
 # If left blank the directory from which doxygen is run is used as the 
 # path to strip.
 
 # If left blank the directory from which doxygen is run is used as the 
 # path to strip.
 

-STRIP_FROM_PATH        = ./
+STRIP_FROM_PATH        = @srcdir@

 
 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter 
 # (but less readable) file names. This can be useful is your file systems 
 
 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter 
 # (but less readable) file names. This can be useful is your file systems 


@@ -391,20 +394,20 @@ WARN_LOGFILE           =
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 

-INPUT                  = ../include/ \
-                         ../src/surf/ \
-                         ../src/msg/ \
-                         ../src/msg/deployment.c \
-                         ../src/msg/environment.c \
-                         ../src/msg/global.c \
-                         ../src/msg/gos.c \
-                         ../src/msg/host.c \
-                         ../src/msg/m_process.c \
-                         ../src/msg/private.h \
-                         ../src/msg/task.c \
-                         ../src/xbt/ \
-                         ../src/modules.doc \
-                         ../doc/api_index.doc
+INPUT                  = @top_srcdir@/include/ \
+                         @top_srcdir@/src/surf/ \
+                         @top_srcdir@/src/msg/ \
+                         @top_srcdir@/src/msg/deployment.c \
+                         @top_srcdir@/src/msg/environment.c \
+                         @top_srcdir@/src/msg/global.c \
+                         @top_srcdir@/src/msg/gos.c \
+                         @top_srcdir@/src/msg/host.c \
+                         @top_srcdir@/src/msg/m_process.c \
+                         @top_srcdir@/src/msg/private.h \
+                         @top_srcdir@/src/msg/task.c \
+                         @top_srcdir@/src/xbt/ \
+                         @top_srcdir@/src/modules.doc \
+                         ./api_index.doc

 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp 
 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp 


@@ -573,7 +576,7 @@ HTML_HEADER            =
 # each generated HTML page. If it is left blank doxygen will generate a 
 # standard footer.
 
 # each generated HTML page. If it is left blank doxygen will generate a 
 # standard footer.
 

-HTML_FOOTER            = footer.html
+HTML_FOOTER            = @srcdir@/footer.html

 
 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading 
 # style sheet that is used by each HTML page. It can be used to 
 
 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading 
 # style sheet that is used by each HTML page. It can be used to 

diff --git a/doc/Doxyfile.Examples b/doc/Doxyfile.Examples.in
similarity index 99%
rename from doc/Doxyfile.Examples
rename to doc/Doxyfile.Examples.in
index 4059256..63244dd 100644 (file)
--- a/doc/Doxyfile.Examples
+++ b/doc/Doxyfile.Examples.in
@@ -1,3 +1,6 @@
+
+#               @WARNING@
+

 # Doxyfile 1.3.6-20040222
 
 # This file describes the settings to be used by the documentation system
 # Doxyfile 1.3.6-20040222
 
 # This file describes the settings to be used by the documentation system


@@ -104,7 +107,7 @@ FULL_PATH_NAMES        = YES
 # If left blank the directory from which doxygen is run is used as the 
 # path to strip.
 
 # If left blank the directory from which doxygen is run is used as the 
 # path to strip.
 

-STRIP_FROM_PATH        = ./
+STRIP_FROM_PATH        = @srcdir@/

 
 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter 
 # (but less readable) file names. This can be useful is your file systems 
 
 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter 
 # (but less readable) file names. This can be useful is your file systems 


@@ -391,8 +394,8 @@ WARN_LOGFILE           =
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 

-INPUT                  = ../examples/msg/ \
-                         ../examples/modules.doc
+INPUT                  = @top_srcdir@/examples/msg/ \
+                         @top_srcdir@/examples/modules.doc

 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp 
 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp 


@@ -561,7 +564,7 @@ HTML_HEADER            =
 # each generated HTML page. If it is left blank doxygen will generate a 
 # standard footer.
 
 # each generated HTML page. If it is left blank doxygen will generate a 
 # standard footer.
 

-HTML_FOOTER            = footer.html
+HTML_FOOTER            = @srcdir@/footer.html

 
 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading 
 # style sheet that is used by each HTML page. It can be used to 
 
 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading 
 # style sheet that is used by each HTML page. It can be used to 

diff --git a/doc/Doxyfile.main b/doc/Doxyfile.main.in
similarity index 99%
rename from doc/Doxyfile.main
rename to doc/Doxyfile.main.in
index df39057..11c4de7 100644 (file)
--- a/doc/Doxyfile.main
+++ b/doc/Doxyfile.main.in
@@ -1,3 +1,6 @@
+
+#               @WARNING@
+

 # Doxyfile 1.3.6-20040222
 
 # This file describes the settings to be used by the documentation system
 # Doxyfile 1.3.6-20040222
 
 # This file describes the settings to be used by the documentation system


@@ -104,7 +107,7 @@ FULL_PATH_NAMES        = YES
 # If left blank the directory from which doxygen is run is used as the 
 # path to strip.
 
 # If left blank the directory from which doxygen is run is used as the 
 # path to strip.
 

-STRIP_FROM_PATH        = ./
+STRIP_FROM_PATH        = @srcdir@

 
 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter 
 # (but less readable) file names. This can be useful is your file systems 
 
 # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter 
 # (but less readable) file names. This can be useful is your file systems 


@@ -391,8 +394,8 @@ WARN_LOGFILE           =
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 
 # directories like "/usr/src/myproject". Separate the files or directories 
 # with spaces.
 

-INPUT                  = ./index.doc \
-                         ./FAQ.doc
+INPUT                  = @srcdir@/index.doc \
+                         @srcdir@/FAQ.doc

 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp 
 
 # If the value of the INPUT tag contains directories, you can use the 
 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp