diff options
author | Ludovic Pouzenc <ludovic.pouzenc@mines-albi.fr> | 2017-09-27 18:05:49 +0200 |
---|---|---|
committer | Ludovic Pouzenc <ludovic.pouzenc@mines-albi.fr> | 2017-09-27 18:05:49 +0200 |
commit | 302c534621e60d664753a6d5690528c5744904ba (patch) | |
tree | c1f4d62300fe0367c1d3497bfa258bb1ec0008e2 | |
parent | f1afb215b26f878a8c3e78bfbe2146ad8fd88867 (diff) | |
download | eficast-302c534621e60d664753a6d5690528c5744904ba.tar.gz eficast-302c534621e60d664753a6d5690528c5744904ba.tar.bz2 eficast-302c534621e60d664753a6d5690528c5744904ba.zip |
Add some missing man pages (more to come)
-rwxr-xr-x | make-boot-image.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-boot-image.sh b/make-boot-image.sh index 4f14ca6..465ef57 100755 --- a/make-boot-image.sh +++ b/make-boot-image.sh @@ -284,8 +284,8 @@ fi if [ ! -d "$WORKDIR/initrd/usr/man" ] then mkdir -p "$WORKDIR"/initrd/usr/man/man{1,8} "$WORKDIR"/initrd/usr/share/groff/1.22.2/font "$WORKDIR/initrd/etc/groff/" cp -a /usr/share/man/man1/{iostat,mpstat,strace,udp-receiver}* "$WORKDIR/initrd/usr/man/man1/" - cp -a /usr/share/man/man8/{dmidecode,partclone,efibootmgr,ntfs,mkntfs,gdisk,iftop,tcpdump}* "$WORKDIR/initrd/usr/man/man8/" - cp -a /usr/share/man/man8/{dmidecode,partclone,efibootmgr,gdisk,iftop,tcpdump}* "$WORKDIR/initrd/usr/man/man8/" + cp -a /usr/share/man/man8/{dmidecode,partclone,efibootmgr,ntfs,mkntfs,fdisk,gdisk,iftop,tcpdump}* "$WORKDIR/initrd/usr/man/man8/" + # TODO add missing man pages cp -ra /usr/share/groff/1.22.2/font/devascii "$WORKDIR/initrd/usr/share/groff/1.22.2/font/" cp -ra /usr/share/groff/1.22.2/tmac "$WORKDIR/initrd/usr/share/groff/1.22.2/" cp -a /etc/groff/man.local "$WORKDIR/initrd/usr/share/groff/1.22.2/" |