Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • C currygle
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 1
    • Issues 1
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • apps
  • currygle
  • Merge requests
  • !7

Do not use the index specification file in the Makefile

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Jan-Hendrik Matthes requested to merge stu113804/currygle:make-index into master Jun 18, 2018
  • Overview 0
  • Commits 5
  • Changes 128

I've updated the make targets for the index creation to not use the index specification file anymore. I've also updated the examples directory with new examples for the base Curry modules.

Edited Jun 18, 2018 by Jan-Hendrik Matthes
Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: make-index