52 |
|
|
53 |
## Web documentation |
## Web documentation |
54 |
BASE_URL="http://www.gnu.org/software/mailutils/manual/" |
BASE_URL="http://www.gnu.org/software/mailutils/manual/" |
55 |
TEXI2HTML=${SHELL} `cd $(top_srcdir); pwd`/missing --run texi2html |
TEXI2HTML=${SHELL} `cd $(top_srcdir); pwd`/scripts/missing --run texi2html |
56 |
DVIPS=${SHELL} `cd $(top_srcdir); pwd`/missing --run dvips |
DVIPS=${SHELL} `cd $(top_srcdir); pwd`/scripts/missing --run dvips |
57 |
INFO=${SHELL} `cd $(top_srcdir); pwd`/missing --run info |
INFO=${SHELL} `cd $(top_srcdir); pwd`/scripts/missing --run info |
58 |
EXTRA_DIST = index.html.in |
EXTRA_DIST = index.html.in |
59 |
|
|
60 |
html: html_mono html_node html_chapter |
html: html_mono html_node html_chapter |