cvs commit: hugs98/docs/users_guide Makefile.in

[Ross Paterson]

ross        2006/08/02 09:26:47 PDT

  Modified files:
    docs/users_guide     Makefile.in 
  Log:
  Don't create any files in the html directory if docbook2html isn't
  available (fixes #33, using the patch provided there).
  
  Revision  Changes    Path
  1.19      +7 -6      hugs98/docs/users_guide/Makefile.in