X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=doc%2FREADME.txt;fp=doc%2FREADME.txt;h=4f063373477404f0327d8a6cbc44aed75aab9d02;hp=ddb8763c9ec22c975bd0ad15a1d695455cbd2c50;hb=bd644b5504a9bfc394bf245dc7a8579ebed9254a;hpb=9031836d066385fcd527a2e6dc7e065473096f10

diff --git a/doc/README.txt b/doc/README.txt
index ddb8763..4f06337 100644
--- a/doc/README.txt
+++ b/doc/README.txt
@@ -42,3 +42,8 @@ handle SIGBUS nostop noprint
 
 To run in Linux under gdb, use:
 handle SIGSEGV nostop noprint
+
+IV. Generating doxygen docs
+
+Type "make docs".
+Then look in doc/docs/.