Re: [PATCH 3/3 FIXED] help (Windows): Display HTML in default browser using Windows' shell API
Steffen Prohaska <prohaska@zib.de> writes:
Show 12 quoted lines
> diff --git a/compat/mingw.c b/compat/mingw.c
> index 3a05fe7..0ca73f7 100644
> --- a/compat/mingw.c
> +++ b/compat/mingw.c
> @@ -1017,3 +1017,24 @@ sig_handler_t mingw_signal(int sig, sig_handler_t handler)
> ...
> +void mingw_open_html(const char *unixpath)
> +{
> + const char *htmlpath = make_backslash_path(unixpath);
> + printf("Launching default browser to display HTML ...\n");
> + ShellExecute(NULL, "open", htmlpath, NULL, "\\", 0);
> +}Do you mean to have that printf() or is it a leftover debugging statement?