Fix yield bug

[satcheck.git] / doc / README.txt

diff --git a/doc/README.txt b/doc/README.txt
index ddb8763c9ec22c975bd0ad15a1d695455cbd2c50..4f063373477404f0327d8a6cbc44aed75aab9d02 100644 (file)
--- 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/.