[Agda-dev] hTags decoupled from agda/agda as agda/hs-tags and released to hackage

[Andreas Abel]

Our internal tags generator has moved from src/hTags to being a 
submodule under src/hs-tags.  The code is now hosted in its own repo at

   https://github.com/agda/hs-tags

following the example of agda/fix-whitespace.
I released it to hackage:

   https://hackage.haskell.org/package/hs-tags-0.1.5

I am not an expert at git submodules, but something like

   git submodule update --init --remote src/hs-tags

maybe be necessary in your working copy of the agda repo after you 
pulled the latest master.

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/