--- loncom/publisher/publisher.html	2000/12/23 15:53:26	1.3
+++ loncom/publisher/publisher.html	2001/03/29 21:56:53	1.4
@@ -7,15 +7,34 @@ function getfilename() {
    document.publisher.filename.value=parent.LONCAPAToBePublished.location.href;
 }
 
+function getdfilename() {
+  document.dpublisher.filename.value=parent.LONCAPAToBePublished.location.href;
+}
+
+function getrfilename() {
+  document.rpublisher.filename.value=parent.LONCAPAToBePublished.location.href;
+}
+
 </script>
 </head>
 <body bgcolor="#FFFFFF">
+<table><tr><td>
 <form name="publisher" action="/adm/publish" target="_parent" method="post"
  onSubmit="getfilename();">
 <input type="hidden" name="filename" value="">
 <input type="submit" value="Publish this Resource">
-<input type="submit" name="pubdir" value="Publish this Directory">
-&nbsp;&nbsp;<b>LON-CAPA Construction Space</b>
-</form>
+</form></td><td>
+<form name="dpublisher" action="/adm/pubdir" target="_parent" method="post"
+ onSubmit="getdfilename();">
+<input type="hidden" name="filename" value="">
+<input type="submit" value="Publish this Directory">
+</form></td><td>
+<form name="rpublisher" action="/adm/retrieve" target="_parent" method="post"
+ onSubmit="getrfilename();">
+<input type="hidden" name="filename" value="">
+<input type="submit" value="Retrieve Old Version">
+</form></td><td>
+<b>LON-CAPA Construction Space</b>
+</td></tr></table>
 </body>
 </html>
\ No newline at end of file
