[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: |
Tim Rühsen |
Subject: |
Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429) |
Date: |
Fri, 26 Apr 2019 15:00:39 +0000 |
Could you test this change in configure.ac (needs a `autoreconf` after
changing) ?
```
-AM_CONDITIONAL([WITH_DOCS], [ test -n "$DOXYGEN" && test -n "$PANDOC" ])
+AM_CONDITIONAL([WITH_DOCS], [ test -n "$DOXYGEN" || test -n "$PANDOC" ])
```
We could also change
```
Documentation: yes (found: Doxygen Pandoc)
```
into
```
Wget2 docs: yes (found Pandoc)
Libwget docs: yes (found Doxygen)
```
Feel free to create a MR. If you don't want to, I need your feedback for the
above `||` change.
--
Reply to this email directly or view it on GitLab:
https://gitlab.com/gnuwget/wget2/issues/429#note_164678781
You're receiving this email because of your account on gitlab.com.
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), (continued)
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/10
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/10
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/10
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/10
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/25
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/25
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/25
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Darshit Shah, 2019/04/25
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/25
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/25
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429),
Tim Rühsen <=
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/28
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/29