diff options
| author | Corinna Vinschen <corinna@vinschen.de> | 2014-10-28 11:01:32 +0000 |
|---|---|---|
| committer | Corinna Vinschen <corinna@vinschen.de> | 2014-10-28 11:01:32 +0000 |
| commit | 9b41c90eadab9018b2c70374be3b9755416f67f8 (patch) | |
| tree | 95a75e5c5915e9f9cc185f22859777a60d151a09 /winsup/doc | |
| parent | 24485a663c908354fc9499fea6aac7a25d78e024 (diff) | |
| download | newlib-9b41c90eadab9018b2c70374be3b9755416f67f8.zip newlib-9b41c90eadab9018b2c70374be3b9755416f67f8.tar.gz newlib-9b41c90eadab9018b2c70374be3b9755416f67f8.tar.bz2 | |
* 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.
Diffstat (limited to 'winsup/doc')
| -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 695151a..7d3c0e2 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 2a1fc83..d3b233a 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" |