[Aldor-l] Ann: ALLPROSE

[Martin Rubey]

Ralf Hemmecke <ralf at hemmecke.de> writes:

> Line 65 of Makefile.inc corresonds to the following target.
> 
> $(TOOLS).code:
> 	@$(MAKE) $(TOOLS)/Makefile
> 	@cd $(TOOLS) && $(MAKE) SUBMAKE="" code
> 	@echo "" > $@
> 
> I have the suspicion that you modified something there (which you shouldn't)
> and you editor translated the TAB into 8 spaces at the beginning of the
> line. Make requires a TAB!!!

Unfortunately, its not me who modifies Makefile.inc. I checked the .nw files,
and the do contain tabs. However, after running make (which aborts with the
error), Makefile.inc contains spaces...

Martin