diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -31,9 +31,9 @@ out/fs/bin/%: obj/%.elf mkdir -p $(shell dirname $@) objcopy -S $< $@ -out/fs/man/%.man: src/man/%.pre - mkdir -p $(shell dirname $@) - python3 tools/man-gen.py $< $@ +#out/fs/man/%.man: src/man/%.pre +# mkdir -p $(shell dirname $@) +# python3 tools/man-gen.py $< $@ out/fs: out/fs/bin/init out/fs/bin/highway out/fs/bin/meminfo \ out/fs/bin/terminal out/fs/bin/hello out/fs/bin/mkpopup @@ -89,7 +89,8 @@ obj/knob.so: obj/knob/file.o obj/knob/format.o obj/knob/rand.o \ obj/libterm.so: obj/libterm/terminal.o obj/libterm/termtask.o obj/libterm/readline.o ld ${partlink} $^ -o $@ -obj/libfont.so: obj/libfont/bdf.o obj/libfont/fonts.o obj/libfont/filist.o +obj/libfont.so: obj/libfont/bdf.o obj/libfont/pbf.o obj/libfont/fonts.o \ + obj/libfont/filist.o ld ${partlink} $^ -o $@ obj/popups.so: obj/popups/info.o obj/popups/popup.o |