merging new dev server

This commit is contained in:
david 2001-09-01 18:30:04 +00:00
parent 77627578fd
commit 912c1a450e
1 changed files with 21 additions and 21 deletions

View File

@ -1,22 +1,22 @@
copy audience to '/tmp/ldp_audience.txt';
copy class to '/tmp/class.txt';
copy doc_vote to '/tmp/doc_vote.txt';
copy document to '/tmp/document.txt';
copy document_audience to '/tmp/document_audience.txt';
copy document_editor to '/tmp/document_editor.txt';
copy document_maintainer to '/tmp/document_maintainer.txt';
copy document_topic to '/tmp/document_topic.txt';
copy dtd to '/tmp/dtd.txt';
copy editor to '/tmp/editor.txt';
copy editor_role to '/tmp/editor_role.txt';
copy format to '/tmp/format.txt';
copy license to '/tmp/license.txt';
copy maintainer to '/tmp/maintainer.txt';
copy notes to '/tmp/notes.txt';
copy pub_status to '/tmp/pub_status.txt';
copy review_status to '/tmp/review_status.txt';
copy role to '/tmp/role.txt';
copy stats to '/tmp/stats.txt';
copy stats_cdf to '/tmp/stats_cdf.txt';
copy subtopic to '/tmp/subtopic.txt';
copy topic to '/tmp/topic.txt';
copy class to '/tmp/ldp_class.txt';
copy doc_vote to '/tmp/ldp_doc_vote.txt';
copy document to '/tmp/ldp_document.txt';
copy document_audience to '/tmp/ldp_document_audience.txt';
copy document_editor to '/tmp/ldp_document_editor.txt';
copy document_maintainer to '/tmp/ldp_document_maintainer.txt';
copy document_topic to '/tmp/ldp_document_topic.txt';
copy dtd to '/tmp/ldp_dtd.txt';
copy editor to '/tmp/ldp_editor.txt';
copy editor_role to '/tmp/ldp_editor_role.txt';
copy format to '/tmp/ldp_format.txt';
copy license to '/tmp/ldp_license.txt';
copy maintainer to '/tmp/ldp_maintainer.txt';
copy notes to '/tmp/ldp_notes.txt';
copy pub_status to '/tmp/ldp_pub_status.txt';
copy review_status to '/tmp/ldp_review_status.txt';
copy role to '/tmp/ldp_role.txt';
copy stats to '/tmp/ldp_stats.txt';
copy stats_cdf to '/tmp/ldp_stats_cdf.txt';
copy subtopic to '/tmp/ldp_subtopic.txt';
copy topic to '/tmp/ldp_topic.txt';