src/ltlast/Makefile.am · fc9f8965bf80cfaa6f5490b3988a22718bb1c5c2 · Spot / Spot · GitLab

Apr 18, 2003
fc9f8965
* src/ltlparse/Makefile.am (EXTRA_DIST): Distribute ltlparse.yy. · fc9f8965
Alexandre Duret-Lutz authored Apr 18, 2003
```
* src/ltlast/Makefile.am (libltlast_a_SOURCES): Add visitor.hh.
```
fc9f8965
* src/ltlparse/Makefile.am (EXTRA_DIST): Distribute ltlparse.yy.
Alexandre Duret-Lutz authored Apr 18, 2003
```
* src/ltlast/Makefile.am (libltlast_a_SOURCES): Add visitor.hh.
```