dev-lang/logtalk/files/logtalk-3.00.0-no-user-docs.patch

   1 --- a/scripts/logtalk_user_setup.sh
   2 +++ b/scripts/logtalk_user_setup.sh
   3 @@ -114,14 +114,12 @@
   4
   5  echo "Copying Logtalk files and directories..."
   6  mkdir -p "$LOGTALKUSER"/contributions
   7 -mkdir -p "$LOGTALKUSER"/docs
   8  mkdir -p "$LOGTALKUSER"/examples
   9  mkdir -p "$LOGTALKUSER"/library
  10  mkdir -p "$LOGTALKUSER"/scratch
  11  mkdir -p "$LOGTALKUSER"/tests
  12  mkdir -p "$LOGTALKUSER"/tools
  13  cp -RL "$LOGTALKHOME"/contributions "$LOGTALKUSER"/
  14 -cp -RL "$LOGTALKHOME"/docs "$LOGTALKUSER"/
  15  cp -RL "$LOGTALKHOME"/examples "$LOGTALKUSER"/
  16  cp -RL "$LOGTALKHOME"/library "$LOGTALKUSER"/
  17  cp -RL "$LOGTALKHOME"/scratch "$LOGTALKUSER"/
  18 @@ -135,16 +133,7 @@
  19  rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2*
  20  rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.dtd
  21  rm -f "$LOGTALKUSER"/tools/lgtdoc/xml/logtalk.xsd
  22 -ln -sf "$LOGTALKHOME"/BIBLIOGRAPHY.bib "$LOGTALKUSER"/BIBLIOGRAPHY.bib
  23 -ln -sf "$LOGTALKHOME"/CUSTOMIZE.md "$LOGTALKUSER"/CUSTOMIZE.md
  24 -ln -sf "$LOGTALKHOME"/INSTALL.md "$LOGTALKUSER"/INSTALL.md
  25 -ln -sf "$LOGTALKHOME"/LICENSE.txt "$LOGTALKUSER"/LICENSE.txt
  26 -ln -sf "$LOGTALKHOME"/QUICK_START.md "$LOGTALKUSER"/QUICK_START.md
  27 -ln -sf "$LOGTALKHOME"/README.md "$LOGTALKUSER"/README.md
  28 -ln -sf "$LOGTALKHOME"/RELEASE_NOTES.md "$LOGTALKUSER"/RELEASE_NOTES.md
  29 -ln -sf "$LOGTALKHOME"/UPGRADING.md "$LOGTALKUSER"/UPGRADING.md
  30  ln -sf "$LOGTALKHOME"/adapters "$LOGTALKUSER"/adapters
  31 -ln -sf "$LOGTALKHOME"/manuals "$LOGTALKUSER"/manuals
  32  ln -sf "$LOGTALKHOME"/paths "$LOGTALKUSER"/paths
  33  ln -sf "$LOGTALKHOME"/coding "$LOGTALKUSER"/coding
  34  ln -sf "$LOGTALKHOME"/tools/lgtdoc/xml/lgt2html.sh "$LOGTALKUSER"/tools/lgtdoc/xml/lgt2html