--- ray/src/hd/rhdriver.h	2004/01/01 11:21:55	3.24
+++ ray/src/hd/rhdriver.h	2006/06/07 17:52:04	3.25
@@ -1,4 +1,4 @@
-/* RCSid: $Id: rhdriver.h,v 3.24 2004/01/01 11:21:55 schorsch Exp $ */
+/* RCSid: $Id: rhdriver.h,v 3.25 2006/06/07 17:52:04 schorsch Exp $ */
 /*
  * Header file for holodeck device driver routines.
  */
@@ -176,7 +176,7 @@ extern void dev_open(char  *id);
 extern void dev_close(void);
 extern void dev_clear(void);
 extern int dev_view(register VIEW *nv);
-//extern void dev_section(char *ofn); /* XXX */
+extern void dev_section(char *gfn, char *pfn);
 extern void dev_auxcom(char *cmd, char *args);
 extern VIEW *dev_auxview(int n, int hvres[2]);
 extern int dev_input(void);