diff --git a/configure.in b/configure.in
index dfae5c776dd159ab8f4ec12260e83c84741a2a82..85aedf77dbbb16e6146047e8f5f59e3d54f5a519 100644
--- a/configure.in
+++ b/configure.in
@@ -949,6 +949,9 @@ configure_library([LABLGTK],
 
 configure_tool([DOT],[dot],[dot not found: you should install GraphViz],no)
 
+configure_tool([UNIX2DOS],[unix2dos],
+               [unix2dos not found: you should install tofrodos],no)
+
 ########################
 # Plug-in dependencies #
 ########################
diff --git a/share/Makefile.config.in b/share/Makefile.config.in
index 5b485c09b90a8ca699170b6a3e6f649d48946a9a..653d91fad5e4696a2cb7398993aad983048684d5 100644
--- a/share/Makefile.config.in
+++ b/share/Makefile.config.in
@@ -138,6 +138,9 @@ HAS_DOT		?=@HAS_DOT@
 
 HEADACHE 	?= headache -c $(FRAMAC_SRC)/headers/headache_config.txt
 
+UNIX2DOS        ?= @UNIX2DOS@
+HAS_UNIX2DOS    ?= @HAS_UNIX2DOS@
+
 ###########################
 # Miscellaneous variables #
 ###########################