[packages/gpm.git] / gpm-mawk.patch

--- gpm-1.19.3/doc/Makefile.in~	Fri Aug  4 21:39:46 2000
+++ gpm-1.19.3/doc/Makefile.in	Fri Aug  4 21:43:12 2000
@@ -89,14 +89,14 @@
 
 
 %doc.txt: %.info
-	gawk -f $(srcdir)/mktxt $< > $@
+	mawk -f $(srcdir)/mktxt $< > $@
 
 # Main portion
 
 all: gpm.info gpmdoc.txt $(MANPAGES)
 
 $(MANPAGES): $(srcdir)/doc.gpm $(srcdir)/manpager
-	cd $(srcdir) && gawk -f ./manpager doc.gpm
+	cd $(srcdir) && mawk -f ./manpager doc.gpm
 
 
 $(srcdir)/gpmdoc.ps:	gpm.ps
Commit	Line	Data
ce18024d JR	1	--- gpm-1.19.3/doc/Makefile.in~ Fri Aug 4 21:39:46 2000
	2	+++ gpm-1.19.3/doc/Makefile.in Fri Aug 4 21:43:12 2000
	3	@@ -89,14 +89,14 @@
	4
	5
	6	%doc.txt: %.info
	7	- gawk -f $(srcdir)/mktxt $< > $@
	8	+ mawk -f $(srcdir)/mktxt $< > $@
	9
	10	# Main portion
	11
	12	all: gpm.info gpmdoc.txt $(MANPAGES)
	13
	14	$(MANPAGES): $(srcdir)/doc.gpm $(srcdir)/manpager
	15	- cd $(srcdir) && gawk -f ./manpager doc.gpm
	16	+ cd $(srcdir) && mawk -f ./manpager doc.gpm
	17
	18
	19	$(srcdir)/gpmdoc.ps: gpm.ps