Want to apply pldoc to files not under ~/.local/ directory

Help! PlDoc
1

pldoc option seems to be fixed to work for files under the directory

~/.local/share/swi-prolog/pack/

Is there some way to apply pldoc to files under any directories ?

2

Have you had a look at doc_save/2? I think it should work with any directory.

3

Thanks. But my purpose is just to preview source codes in plain texts, and cares for html and css are not necessary.

Trying this query, I noticed I know nothing about pldoc. Anyway I have to read document about pldoc first.

?- doc_save('~/devel/zdd/', [recursive(true)]).
false.
4

In a daily using swi-prolog activating script of mine to start SWI-Prolog in ediprolog mode from emacs,
I have added pldoc option like this with a lazy man’s lucky expectation.

$SWIPL --pldoc -q -l $PACSETUP -s $ZDD

which was before:

$SWIPL -q -l $PACSETUP -s $ZDD

It is almost surprising that all seems to work fine as I had wanted as for pldoc.

On the other hand, at the terminal this didn’t work, but seems to point document under ~/.local/
$ swipl --pldoc

Anyway thanks for hint, it was useful finally.

5

AFAIK it simply shows the directories from which files are loaded. So, if you load the pack(s) you are interested in it should allow navigating there.

6

I am learning things work as your comment. A command line execution of the script behaves in the same way as via Emacs. Thanks.