Verified Commit 7f6565de authored by Bernd Paysan's avatar Bernd Paysan
Browse files

Fixes to Makefile and iss.sh

parent 46230d90

Makefile.in

+1 −1
Original line number Diff line number Diff line
@@ -233,7 +233,7 @@ doc/bigforth.ps: doc/bigforth.dvi 
doc/bigforth.info doc/bigforth.info-*: doc/bigforth.texi

		-cd doc; $(MAKEINFO) bigforth.texi



doc/bigforth.txt:	bigforth.texi

doc/bigforth.txt:	doc/bigforth.texi

		-cd doc; $(MAKEINFO) --no-headers --no-split bigforth.texi >bigforth.txt



info:		doc/bigforth.info