diff -r aa1f4130229e src/Makefile.in
--- a/src/Makefile.in	Thu Mar 31 11:49:36 2016 +0200
+++ b/src/Makefile.in	Fri Apr 15 15:47:42 2016 +0200
@@ -163,7 +163,7 @@
 RDEFUN_DLD := DEFUN_DLD_REPLACEMENT_FOR_PACKAGE_DOCS
 RDEFUNX_DLD := DEFUNX_DLD_REPLACEMENT_FOR_PACKAGE_DOCS
 %.cc.docstrings: %.ii
-	(echo -n "### This file is generated automatically from the\n### corresponding .cc file by a Makefile rule.\n\n"; sed -e '/.*$(RDEFUN_DLD)/!D' -e 's/.*$(RDEFUN_DLD)(\([^,]\+\),"\(.\+\)\(\\n\)*")$$/address@hidden \1 $(addsuffix .cc,$(basename $<))\n\2/' -e 's/\\n/\n/g' $<) > $@
+	(echo -e -n "### This file is generated automatically from the\n### corresponding .cc file by a Makefile rule.\n\n"; sed -e '/.*$(RDEFUN_DLD)/!D' -e 's/.*$(RDEFUN_DLD)(\([^,]\+\),"\(.\+\)\(\\n\)*")$$/address@hidden \1 $(addsuffix .cc,$(basename $<))\n\2/' -e 's/\\n/\n/g' $<) > $@
 # Explanation of the command after the checks: Macro names are changed
 # by `sed' so that a different definition can be given to them on the
 # `cpp' commandline. After running the `cpp' command, one can be sure