Rev 3718 | Rev 7674 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3718 | Rev 5762 | ||
---|---|---|---|
Line 170... | Line 170... | ||
170 | void about(void) |
170 | void about(void) |
171 | { |
171 | { |
172 | char *p, *p2, *pp; |
172 | char *p, *p2, *pp; |
173 | int i; |
173 | int i; |
174 | 174 | ||
175 | /* printf("< |
175 | /* printf("<a href=\"%s\">Maxima</a>",homepage); return; */ |
176 | prepabout("build_info();\n" quitstring,outputfname,NULL); |
176 | prepabout("build_info();\n" quitstring,outputfname,NULL); |
177 | if(readabout()>0) { |
177 | if(readabout()>0) { |
178 | for(p=aboutbuf; *p; p=find_word_start(find_word_end(p))) { |
178 | for(p=aboutbuf; *p; p=find_word_start(find_word_end(p))) { |
179 | if(strncasecmp(p,"Maxima",strlen("Maxima"))==0) { |
179 | if(strncasecmp(p,"Maxima",strlen("Maxima"))==0) { |
180 | p2=find_word_start(find_word_end(p)); |
180 | p2=find_word_start(find_word_end(p)); |
Line 183... | Line 183... | ||
183 | } |
183 | } |
184 | for(p2=p;*p2 && *p2!='\n' && !isdigit(*p2);p2++); |
184 | for(p2=p;*p2 && *p2!='\n' && !isdigit(*p2);p2++); |
185 | if(isdigit(*p2)) pp=find_word_end(p2); |
185 | if(isdigit(*p2)) pp=find_word_end(p2); |
186 | else for(i=0, pp=p;i<2;i++) pp=find_word_end(find_word_start(pp)); |
186 | else for(i=0, pp=p;i<2;i++) pp=find_word_end(find_word_start(pp)); |
187 | *pp=0; |
187 | *pp=0; |
188 | if(*p!=0) printf("< |
188 | if(*p!=0) printf("<a href=\"%s\">%s</a>",homepage,p); |
189 | } |
189 | } |
190 | } |
190 | } |
191 | 191 | ||
192 | char *dynsetup(char *ptr, char *end) |
192 | char *dynsetup(char *ptr, char *end) |
193 | { |
193 | { |