forgot makeinfo