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