naddy 17f306b520 Mop up after last upgrade.		2002-08-20 15:55:20 +00:00
..
patch-configure	update to htmldoc-1.8.20, works with new fltk	2002-08-10 20:12:36 +00:00
patch-fonts_Makefile	update to htmldoc-1.8.20, works with new fltk	2002-08-10 20:12:36 +00:00
patch-htmldoc_file_c	update to htmldoc-1.8.20, works with new fltk	2002-08-10 20:12:36 +00:00
patch-Makedefs_in	update to htmldoc-1.8.20, works with new fltk	2002-08-10 20:12:36 +00:00