diff options
Diffstat (limited to 'doc/Make.config')
| -rw-r--r-- | doc/Make.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Make.config b/doc/Make.config index 3096347dfc..b0712603dc 100644 --- a/doc/Make.config +++ b/doc/Make.config @@ -20,3 +20,4 @@ PS_INSTALL=$(DOC_INSTALL_BASE)/ps TEXI2WWW_ARGS=-dirfile ../rtems.html \ -header ../rtems_header.html \ -footer ../rtems_footer.html + |