diff options
-rw-r--r-- | debian/move_links_to_correct_package | 53 |
1 files changed, 52 insertions, 1 deletions
diff --git a/debian/move_links_to_correct_package b/debian/move_links_to_correct_package index 901f9b46f..32fbb3aaa 100644 --- a/debian/move_links_to_correct_package +++ b/debian/move_links_to_correct_package @@ -10,7 +10,58 @@ # to debian/control, the file needs to be added # manually to the list of known files. check_breaks_replaces () { - known_files="man4/console_ioctl.4 man4/tty_ioctl.4" + known_files="man3/FILE.3 + man3/aiocb.3 + man3/clock_t.3 + man3/clockid_t.3 + man3/dev_t.3 + man3/div_t.3 + man3/double_t.3 + man3/fenv_t.3 + man3/fexcept_t.3 + man3/float_t.3 + man3/gid_t.3 + man3/id_t.3 + man3/imaxdiv_t.3 + man3/int16_t.3 + man3/int32_t.3 + man3/int64_t.3 + man3/int8_t.3 + man3/intN_t.3 + man3/intmax_t.3 + man3/intptr_t.3 + man3/lconv.3 + man3/ldiv_t.3 + man3/lldiv_t.3 + man3/off_t.3 + man3/pid_t.3 + man3/ptrdiff_t.3 + man3/queue.3 + man3/regex_t.3 + man3/regmatch_t.3 + man3/regoff_t.3 + man3/siginfo_t.3 + man3/sigset_t.3 + man3/sigval.3 + man3/size_t.3 + man3/ssize_t.3 + man3/suseconds_t.3 + man3/time_t.3 + man3/timer_t.3 + man3/timespec.3 + man3/timeval.3 + man3/uid_t.3 + man3/uint16_t.3 + man3/uint32_t.3 + man3/uint64_t.3 + man3/uint8_t.3 + man3/uintN_t.3 + man3/uintmax_t.3 + man3/uintptr_t.3 + man3/va_list.3 + man3/void.3 + man4/console_ioctl.4 + man4/tty_ioctl.4" file_is_known="no" for file in $known_files; do if [ "x$1" = "x$file" ]; then |