You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think that the commands plumed info --user-doc and plumed info --developer-doc should refer to the online documentation when local documentation is not available. It should be sufficient to just test if the index.html file is present.
The text was updated successfully, but these errors were encountered:
I think that the commands
plumed info --user-doc
andplumed info --developer-doc
should refer to the online documentation when local documentation is not available. It should be sufficient to just test if theindex.html
file is present.The text was updated successfully, but these errors were encountered: