diff options
Diffstat (limited to 'winsup/doc/Makefile.in')
| -rw-r--r-- | winsup/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/winsup/doc/Makefile.in b/winsup/doc/Makefile.in index 87a72d107..45a0a4046 100644 --- a/winsup/doc/Makefile.in +++ b/winsup/doc/Makefile.in @@ -50,6 +50,7 @@ install: all cygwin-ug-net.html : cygwin-ug-net.sgml doctool -xmlto html-nochunks -m $(srcdir)/cygwin.dsl $< -cp cygwin-ug-net.html cygwin-ug-net/cygwin-ug-net-nochunks.html + -rm -f cygwin-ug-net/cygwin-ug-net-nochunks.html.gz -gzip cygwin-ug-net/cygwin-ug-net-nochunks.html cygwin-ug-net/cygwin-ug-net.html : cygwin-ug-net.sgml doctool |