diff options
author | Jon Turney <jon.turney@dronecode.org.uk> | 2017-12-04 21:08:28 +0300 |
---|---|---|
committer | Jon Turney <jon.turney@dronecode.org.uk> | 2017-12-07 14:54:11 +0300 |
commit | c006fd459f4df832b24e6c7a32228e154a0261ba (patch) | |
tree | 018c0ea52edf203b47acbfda6db5615904621f9d /newlib/doc/doc.str | |
parent | 3476c8c868d95825f16710a6b893b62576f625de (diff) |
makedoc: make errors visible
Discard QUICKREF sections, rather than writing them to stderr
Discard MATHREF sections, rather than discarding as an error
Pass NOTES sections through to texinfo, rather than discarding as an error
Don't redirect makedoc stderr to .ref file
Remove makedoc output on error
Remove .ref files from CLEANFILES
Regenerate Makefile.ins
Signed-off-by: Jon Turney <jon.turney@dronecode.org.uk>
Diffstat (limited to 'newlib/doc/doc.str')
-rw-r--r-- | newlib/doc/doc.str | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/newlib/doc/doc.str b/newlib/doc/doc.str index 3fc1006f8..949c6e794 100644 --- a/newlib/doc/doc.str +++ b/newlib/doc/doc.str @@ -17,9 +17,10 @@ : QUICKREF skip_past_newline - get_stuff_in_command - "&&~&&~&&\cr\tablerule\n" - quickref + ; + +: MATHREF + skip_past_newline ; : EXAMPLE @@ -153,6 +154,9 @@ : SEEALSO "@strong{See Also}@*\n" catstr subhead ; +: NOTES + "@strong{Notes}@*\n" catstr subhead ; + : INTERNAL_FUNCTION ; |