src/Tools/8bit/Makefile

 PERL=/usr/local/dist/DIR/perl4/bin/perl
 
 # use LaTeX2e instead of LaTeX 2.09
 # this flag is currently only sensible for perl script gen-isadoc
 # set to empty string for LaTeX 2.09
-#USE2E='-2e'
 USE2E='-2e'
 
 # name of GNU make utility: `make' on linux box; `gmake' on solaris
 #GMAKE=make
 GMAKE=gmake

 
 #keycode for Hyper_R       20 on SUN, 113 on Linux box 
 #HYPER_R=113
 HYPER_R=20
 
-CONFIGFIlES = config/Makefile config/key-table.inp config/conv-tables.inp
+CONFIGFILES = config/Makefile config/key-table.inp config/conv-tables.inp
 
 #path stem to isabelle source, used by patcher
 STEM = /usr/stud/oheimb/isabelle/
 
 ###############################################

 #	echo "type 'make install' to install everything"
 #	echo "type 'make clean' to cleanup"
 
 # ----------------------------------------------------
 
-all:  $(CONFIGFIlES)\
+all:  $(CONFIGFILES)\
 	bin/gen-isa2latex bin/gen-isaterm bin/gen-isavim bin/gen-isaaxe\
 	bin/gen-isa_gnu_emacs bin/gen-isa_xemacs bin/gen-isadoc\
 	configuration a2isa bin/isa2latex bin/a2isa\
 	bin/isa_gnu_emacs bin/isa_xemacs bin/isavim bin/isaaxe\
 	bin/isaterm bin/isa_xmosaic bin/isapal bin/codetable bin/patcher\

 # internal targets        
 ###############################################
 
 ####### configuration files and the Makefile
 
-$(CONFIGFIlES): Makefile
+$(CONFIGFILES): Makefile
 	@echo "configuring the configuration files"
 	@cd config;\
 	$(PERL) -pi \
 		-e "s#^USE2E\s*=.*#USE2E= $(USE2E)#g;" \
+		-e "s#^GMAKE\s*=.*#GMAKE= $(GMAKE)#g;" \
 		Makefile
 	@cd config;\
 	$(PERL) -pi \
 		-e "s#^BIN_DIR\s*\".*#BIN_DIR \"$(CONV_BIN_DIR)\"#g;" \
 		key-table.inp

 	
 bin/gen-isa2latex: Makefile #perl/generators/gen-isa2latex.pl
 	@echo "configuring gen-isa2latex"
 	@cd perl/generators;\
 	$(PERL) -pi \
+		-e "s#GMAKE\s*=.*#GMAKE= \"$(GMAKE)\";#g;" \
 		-e "s&^#!.*&#!$(PERL)&g;" \
 		gen-isa2latex.pl
 	@rm -f bin/gen-isa2latex;\
 	ln -s ../perl/generators/gen-isa2latex.pl bin/gen-isa2latex