Branch: Tag:

2006-04-22

2006-04-22 13:48:08 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Added doc_prefix.

Rev: lib/master.pike.in:1.386

6:   // Pike is distributed under GPL, LGPL and MPL. See the file COPYING   // for more information.   // - // $Id: master.pike.in,v 1.385 2006/01/25 21:07:58 grubba Exp $ + // $Id: master.pike.in,v 1.386 2006/04/22 13:48:08 grubba Exp $      #pike __REAL_VERSION__   //#pragma strict_types
1133:      enum bool { false=0, true=1 };    + //! Prefix for Pike-related C header files.   string include_prefix;    -  + //! Prefix for autodoc files. + string doc_prefix;    -  +    //! @decl int strlen(string|multiset|array|mapping|object thing)   //! @appears strlen   //! Alias for @[sizeof].
1192:   #if "¤include_prefix¤"[0]!='¤'    include_prefix = "¤include_prefix¤";   #endif + #if "¤doc_prefix¤"[0]!='¤' +  doc_prefix = "¤doc_prefix¤"; + #endif    system_module_path=pike_module_path;    if (master() && master() != this_object()) {    // getenv() and putenv() will get confused if we don't do this.