projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix apparent 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/.