Successful build (but wheres the docs?)

[Jeffrey A Law]

  In message < 199801151251.MAA06736@russell.ee.umist.ac.uk >you write:
  > I tried
  > 	objdir> make info
  > which began to run but quickly crashed with
  > 	make: Fatal error: Don't know how to make target `f/intdoc.c'
Use gnumake here too.

However, the docs should have been built during the make/make install
process.  Is that not the case?

jeff