*** cider/common/lib/makeops.orig	Thu Feb 24 09:11:43 1994
--- cider/common/lib/makeops	Mon Dec 13 11:45:34 1999
***************
*** 11,16 ****
--- 11,23 ----
  $(CIDER_LIB_DIR)/helpdir/cider.idx: $(OBJBIN_SPICE_DIR)/makeidx
  	$(OBJBIN_SPICE_DIR)/makeidx $(CIDER_LIB_DIR)/helpdir/cider.txt
  
+ $(CIDER_LIB_DIR)/helpdir/spice.txt: $(DISTLIB_DIR)/helpdir/spice.txt
+ 	-cp $? $@
+ 
+ $(CIDER_LIB_DIR)/helpdir/spice.idx: $(DISTLIB_DIR)/helpdir/spice.txt
+ $(CIDER_LIB_DIR)/helpdir/spice.idx: $(OBJBIN_SPICE_DIR)/makeidx
+ 	$(OBJBIN_SPICE_DIR)/makeidx $(CIDER_LIB_DIR)/helpdir/spice.txt
+ 
  $(CIDER_LIB_DIR):
  	mkdir -p $(CIDER_LIB_DIR)