diff options
Diffstat (limited to 'html/Makefile.in')
| -rw-r--r-- | html/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/html/Makefile.in b/html/Makefile.in index 82467b8f..4c0c8e3e 100644 --- a/html/Makefile.in +++ b/html/Makefile.in @@ -448,7 +448,8 @@ docfiles = \ v4.0.5.html \ v4.0.6.html \ v4.0.7.html \ - v4.0.8.html + v4.0.8.html \ + v4.0.9.html dist_doc_DATA = $(docfiles) SUBDIRS = images man |