X-Git-Url: http://wpitchoune.net/gitweb/?p=psensor-pkg-debian.git;a=blobdiff_plain;f=doc%2FMakefile.in;h=370c8ff50f25661d8ca1ee7b7967db9970d35eb2;hp=6c769d4e8577d23de87db09405bd595887c8cc66;hb=e09694aeae697c819fe6410078aeea9e6eac3c25;hpb=ba85e3eadb75ad8bd62d9f46f5f13c33b42cb864

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 6c769d4..370c8ff 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -185,6 +185,7 @@ PKG_CONFIG_PATH = @PKG_CONFIG_PATH@
 POSUB = @POSUB@
 PTHREAD_LIBS = @PTHREAD_LIBS@
 RANLIB = @RANLIB@
+SED = @SED@
 SENSORS_LIBS = @SENSORS_LIBS@
 SET_MAKE = @SET_MAKE@
 SHELL = @SHELL@