diff options
-rw-r--r-- | winsup/doc/ChangeLog | 6 | ||||
-rwxr-xr-x | winsup/doc/xidepend | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/winsup/doc/ChangeLog b/winsup/doc/ChangeLog index 695151a0e..7d3c0e2d8 100644 --- a/winsup/doc/ChangeLog +++ b/winsup/doc/ChangeLog @@ -1,5 +1,11 @@ 2014-10-28 Corinna Vinschen <corinna@vinschen.de> + * xidepend: Make PDF file dependent on the same input files as the + HTML file of the same name to trigger automatic rebuild of PDFs on + source file changes as well. + +2014-10-28 Corinna Vinschen <corinna@vinschen.de> + * cygwinenv.xml: Change default setting of dosfilewarning. * new-features.xml (ov-new1.7.33): Document aforementioned change. diff --git a/winsup/doc/xidepend b/winsup/doc/xidepend index 2a1fc831d..d3b233a57 100755 --- a/winsup/doc/xidepend +++ b/winsup/doc/xidepend @@ -15,7 +15,7 @@ do then # This file uses XIncludes. Let's chase its deps recursively. base=`basename "$f" .xml` - if [ $subproc -eq 0 ] ; then echo -n "$base/$base.html:" ; fi + if [ $subproc -eq 0 ] ; then echo -n "$base/$base.html $base/$base.pdf:" ; fi deps=`grep 'xi:include.*href' "$f" | cut -f2 -d\" | tr '\n' ' '` echo -n " $deps" |