diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-10-07 20:24:10 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-10-07 20:24:10 +0200 |
| commit | c4ed75769f32eee57bd56350709b24b2bb7222aa (patch) | |
| tree | 4f76b20d2a4c04685132e58437893deb4844f6bc /doc/makefile | |
| parent | c5fdf360513f8d2e5858711ff46c744cddcdeb6f (diff) | |
| parent | 5634f31af3ddd58171b660e48af18d9cb0939275 (diff) | |
merged from the debain-sid branch
Diffstat (limited to 'doc/makefile')
| -rw-r--r-- | doc/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile index 8a8a04c03..6ea1c1343 100644 --- a/doc/makefile +++ b/doc/makefile @@ -20,7 +20,7 @@ INCLUDES = apt.ent include $(XML_MANPAGE_H) # Examples -SOURCE = examples/apt.conf examples/sources.list examples/configure-index +SOURCE = examples/apt.conf examples/sources.list examples/configure-index examples/apt-https-method-example.conf TO = $(DOC) TARGET = binary include $(COPY_H) |