File: publish.patch

package info (click to toggle)
casadi 3.7.0%2Bds2-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 19,964 kB
  • sloc: cpp: 114,229; python: 35,462; xml: 1,946; ansic: 859; makefile: 257; sh: 114; f90: 63; perl: 9
file content (14 lines) | stat: -rw-r--r-- 569 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
--- default	2011-11-17 21:38:39.967143499 +0100
+++ Doxyfile.in	2011-11-17 21:39:17.795573169 +0100
@@ -1083,7 +1083,10 @@
 # full text search. The disadvances is that it is more difficult to setup 
 # and does not have live searching capabilities.
 
-SERVER_BASED_SEARCH    = NO
+SERVER_BASED_SEARCH    = YES
+EXTERNAL_SEARCH    = YES
+SEARCHENGINE_URL = http://casadi.sourceforge.net/cgi-bin/doxysearch.cgi
+PROJECT_LOGO = casadi.png
 
 # configuration options related to the LaTeX output
 #---------------------------------------------------------------------------