diff options
author | 2020-10-10 21:21:03 +0200 | |
---|---|---|
committer | 2020-10-10 21:21:16 +0200 | |
commit | f373fe14e591ee988dcf3fc857554c965c057290 (patch) | |
tree | a3008253d94153a2a5a6fd1c3b676059d7d34413 /etc/profile-a-l/google-play-music-desktop-player.profile | |
parent | build: check for presence of gawk when manpages will be built (diff) | |
download | firejail-f373fe14e591ee988dcf3fc857554c965c057290.tar.gz firejail-f373fe14e591ee988dcf3fc857554c965c057290.tar.zst firejail-f373fe14e591ee988dcf3fc857554c965c057290.zip |
man: call preproc.awk via Makefile, as the shebang hardcodes the path
Diffstat (limited to 'etc/profile-a-l/google-play-music-desktop-player.profile')
0 files changed, 0 insertions, 0 deletions