"Fossies" - the Fresh Open Source Software Archive

Member "KASH3-lib-archindep-2008-07-31/lib/makedoc.gi" (3 Sep 2008, 1412 Bytes) of package /linux/misc/old/KASH3-lib-archindep-2008-07-31.tar.gz:


As a special service "Fossies" has tried to format the requested text file into HTML format (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 ##___DOC:=ShallowCopy(__DOC);
    2 
    3 ## now first of all initialise
    4 ##__DOC:=[];
    5 SizeScreen([255,255]);
    6 
    7 ## read in raw documentations from magma kernel
    8 ReadLib("../doc/DOC_KANT");
    9 stime:=UTime();
   10 __PREVIOUS_LIB:=__CURRENT_LIB;
   11 __CURRENT_LIB:="<internal>";
   12 Mapc(i->InstallDocumentation(i),__DOC_KANT);
   13 __CURRENT_LIB:=__PREVIOUS_LIB;
   14 etime:=UTime();
   15 Print("[",etime-stime,"] ");
   16 
   17 ## now read the merge info for the magma kernel
   18 ReadPath(LIBNAME, "../doc/DOC_KANT_MERGE", ".g", "ReadLib");
   19 ## now merge :)
   20 stime:=UTime();
   21 __PREVIOUS_LIB:=__CURRENT_LIB;
   22 __CURRENT_LIB:="<internal>";
   23 Mapc(i->MergeDocumentation(i),__DOC_KANT_MERGE);
   24 __CURRENT_LIB:=__PREVIOUS_LIB;
   25 etime:=UTime();
   26 Print("[",etime-stime,"] ");
   27 
   28 ReadLib("../doc/DOC_INTERNAL");
   29 stime:=UTime();
   30 Mapc(i->InstallDocumentation(i,rec(ForceAdd:=TRUE)),__DOC_INTERNAL);
   31 etime:=UTime();
   32 Print("[",etime-stime,"] ");
   33 
   34 ### now dumping the new documentation
   35 stime:=UTime();
   36 PrintTo("__DOC.g","__DOC := rec(keys:=Dry([\n");
   37 MapAlist(
   38   function(key,val)
   39     AppendTo("__DOC.g","\"",key,"\",\n");
   40   end, __DOC);
   41 AppendTo("__DOC.g","SUCCESS],rec(DupCheck:=FALSE)),\n    base:=[\n");
   42 MapAlist(
   43   function(key,val)
   44     AppendTo("__DOC.g",val,",\n");
   45   end, __DOC);
   46 AppendTo("__DOC.g","rec(kind:=\"KEYWORD\",name:=\"This is not a valid entry\",hash:=\"SUCCESS\")],\n"+
   47   "type:=alist,\noperations:=rec(Print:=_PrintAlist));\n");
   48 etime:=UTime();
   49 Print("[",etime-stime,"]\n");