X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2FMakefile;h=93fbeed3758a1dfcdd8af6d7c74e77250de2180c;hp=ac78fc305437d648becf75e1fd9fc1f37644d27a;hb=5d149afa866c1b91d26247fc4666ebccfd39a0fa;hpb=30921b571a523338d8b5290d874ec7920ff0b21f

diff --git a/doc/Makefile b/doc/Makefile
index ac78fc3..93fbeed 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,7 +16,6 @@ MAKEINFO ?= gmakeinfo
 INSTALL ?= install
 INSTALL-INFO ?= ginstall-info
 GZIP = gzip
-SED = sed
 
 prefix ?= ~
 infodir ?= $(prefix)/share/info
@@ -37,9 +36,8 @@ htmls: $(MANUAL)_html
 
 pdf: $(INSTALLDOC).pdf $(MANUAL).pdf
 
-$(MANUAL_SYSINFO): $(MANUAL).info
-	$(CP) $< $@
-	$(SED) -i -e "s/@setfilename manual/@setfilename $(MANUAL_SYSINFO)/" $@
+$(MANUAL_SYSINFO): $(MANUAL).texi
+	$(MAKEINFO) $<
 
 %.html: %.texi $(CSS)
 	$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<