diff -c TeXmacs-1.0.0.18-src/Makefile.in TeXmacs-1.0.0.18-src/Makefile.in
*** /home/david/home/texmacs/TeXmacs-1.0.0.18-src/Makefile.in
--- /home/david/home/texmacs/TeXmacs-1.0.0.18-src/Makefile.in
***************
*** 179,185 ****
  DISTCLEAN: CLEAN
  	$(RM) misc/Makefile
  	$(RM) misc/doxygen/Doxyfile
! 	$(RM) src/Basic/tm_config.hh
  	$(RM) src/common.makefile
  	$(RM) config.cache
  	$(RM) config.log
--- 179,187 ----
  DISTCLEAN: CLEAN
  	$(RM) misc/Makefile
  	$(RM) misc/doxygen/Doxyfile
! 	$(RM) misc/scripts/fig2ps
! 	$(RM) misc/scripts/texmacs
! 	$(RM) src/Basic/tm_configure.hh
  	$(RM) src/common.makefile
  	$(RM) config.cache
  	$(RM) config.log

diff -c TeXmacs-1.0.0.18-src/configure.in TeXmacs-1.0.0.18-src/configure.in
*** TeXmacs-1.0.0.18-src/configure.in
--- TeXmacs-1.0.0.18-src/configure.in
***************
*** 574,577 ****
  # Done
  #--------------------------------------------------------------------
  
! AC_OUTPUT(Makefile:Makefile.in src/common.makefile:src/common.makefile.in src/Basic/System/tm_configure.hh:src/Basic/System/tm_configure.in misc/Makefile:misc/Makefile.in misc/doxygen/Doxyfile:misc/doxygen/Doxyfile.in ${tmdir}/bin/fig2ps:misc/scripts/fig2ps.in ${tmdir}/bin/texmacs:misc/scripts/texmacs.in)
--- 574,577 ----
  # Done
  #--------------------------------------------------------------------
  
! AC_OUTPUT(Makefile:Makefile.in src/common.makefile:src/common.makefile.in src/Basic/System/tm_configure.hh:src/Basic/System/tm_configure.in misc/Makefile:misc/Makefile.in misc/doxygen/Doxyfile:misc/doxygen/Doxyfile.in misc/scripts/fig2ps:misc/scripts/fig2ps.in misc/scripts/texmacs:misc/scripts/texmacs.in)

diff -c TeXmacs-1.0.0.18-src/misc/Makefile.in TeXmacs-1.0.0.18-src/misc/Makefile.in
*** TeXmacs-1.0.0.18-src/misc/Makefile.in
--- TeXmacs-1.0.0.18-src/misc/Makefile.in
***************
*** 67,72 ****
--- 67,74 ----
  ###############################################################################
  
  INSTALL_SCRIPTS:
+ 	$(CP) scripts/fig2ps ../$(tmdir)/bin
+ 	$(CP) scripts/texmacs ../$(tmdir)/bin
  	$(CP) scripts/tm_* ../$(tmdir)/bin
  	$(CP) scripts/*_filter* ../$(tmdir)/bin
  	$(CP) scripts/*_setup* ../$(tmdir)/bin