diff options
author | Lev Walkin <vlm@lionet.info> | 2004-08-07 06:13:03 +0000 |
---|---|---|
committer | Lev Walkin <vlm@lionet.info> | 2004-08-07 06:13:03 +0000 |
commit | c1825e7f8b39ad7929a84801e8b49f9fa18f4f7f (patch) | |
tree | a8fcfa9a5b5c494f054fdacf71fa16de571453c9 /doc/Makefile.in | |
parent | eb97a70e9c1c8eef40783993edf78ef09de4ba28 (diff) |
*** empty log message ***
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index cf2e85e9..e34bd9d8 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -156,7 +156,7 @@ target_alias = @target_alias@ target_cpu = @target_cpu@ target_os = @target_os@ target_vendor = @target_vendor@ -EXTRA_DIST = *.pdf +EXTRA_DIST = *.pdf *.html CLEANFILES = *.*~ all: all-am |