version 1.51, 2001/11/17 22:03:29
|
version 1.54, 2001/11/29 20:29:44
|
Line 7
|
Line 7
|
<!-- is accepted if an alternative distribution is not requested or not --> |
<!-- is accepted if an alternative distribution is not requested or not --> |
<!-- defined. --> |
<!-- defined. --> |
|
|
|
<!-- $Id$ --> |
|
|
<lpml> |
<lpml> |
<targetroot>/</targetroot> |
<targetroot>/</targetroot> |
<sourceroot>/home/user/loncapa/</sourceroot> |
<sourceroot>/home/user/loncapa/</sourceroot> |
Line 828 for a user
|
Line 830 for a user
|
<status>deprecated</status> |
<status>deprecated</status> |
</file> |
</file> |
<file> |
<file> |
|
<source>loncom/license/gpl.txt</source> |
|
<target dist='default'>home/httpd/html/adm/gpl.txt</target> |
|
<categoryname>interface file</categoryname> |
|
<description> |
|
GNU General Public License. Long live the cause of freeware! |
|
</description> |
|
</file> |
|
<file> |
<source>loncom/publisher/publisher.html</source> |
<source>loncom/publisher/publisher.html</source> |
<target dist='default'>home/httpd/html/adm/publisher.html</target> |
<target dist='default'>home/httpd/html/adm/publisher.html</target> |
<categoryname>interface file</categoryname> |
<categoryname>interface file</categoryname> |
Line 1839 gif_big.gif;
|
Line 1849 gif_big.gif;
|
htm.gif; |
htm.gif; |
html.gif; |
html.gif; |
html_big.gif; |
html_big.gif; |
|
jar.gif; |
|
jar_big.gif; |
jpg.gif; |
jpg.gif; |
jpg_big.gif; |
jpg_big.gif; |
liteani.gif; |
liteani.gif; |
Line 1857 page.gif;
|
Line 1869 page.gif;
|
page_big.gif; |
page_big.gif; |
pdf.gif; |
pdf.gif; |
pdf_big.gif; |
pdf_big.gif; |
|
png.gif; |
|
png_big.gif; |
problem.gif; |
problem.gif; |
problem_big.gif; |
problem_big.gif; |
ps.gif; |
ps.gif; |