wget-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#4


From: Seb M
Subject: Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429)
Date: Wed, 10 Apr 2019 18:07:51 +0000



I don't have any `doxygen` executable but `pandoc` is enough for me to build 
the man page with `make -C docs`, can you please change your test "if [ doxygen 
AND pandoc ] exists" to  "if [ doxygen OR pandoc ] exists" ?

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/issues/429#note_159519068
You're receiving this email because of your account on gitlab.com.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]