Activity
From 17 Mar 2022 to 15 Apr 2022
12 Apr 2022
- 17:27 Design #1677 (In Progress): release-source script: use shell globbing?
- After discussion with Anna, I have now included the "preserve" flag when copying files to the "release" tree.
Anna...
10 Apr 2022
- 18:29 Design #1677: release-source script: use shell globbing?
- The code Ulrich submitted used the @-p@ flag when copying.
This may be useful to indicate to people when files were ... - 18:26 Design #1677 (In Progress): release-source script: use shell globbing?
- How explicit should @release-source.sh@ be about which files it copies?
_e.g._ should we copy @*.C@ or should we... - 18:23 Feature #1676: txt2tags: include in source distribution?
- I have modified @release-source.sh@ so that it does not copy @txt2tags@.
- 11:28 Feature #1676 (In Progress): txt2tags: include in source distribution?
- I have now modified the @Makefile@ so that it prints out a helpful message if @txt2tags@ is not found (saying where t...
04 Apr 2022
- 15:01 Feature #1676: txt2tags: include in source distribution?
- Just spoken to Anna about this.
The main advantage is that this would allow "developers" to rebuild the documentat... - 14:55 Feature #1676 (Rejected): txt2tags: include in source distribution?
- Should we include @txt2tags@ in the source distribution, so that developers can write (& check) documentation?
If ...
25 Mar 2022
- 17:23 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- Ulrich von der Ohe wrote:
> I have a (for me) working version with txt2tags 3.4. All the files I changed (relative t... - 10:39 Support #1481: Release CoCoALib 0.99800
- All is done now, except publishing the documentation (I'm still investigating some technical issues related to txt2ta...
24 Mar 2022
- 19:30 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- John Abbott wrote:
> The main problem (for me) was that I had upgraded to Ubuntu 20.04, and this automatically upgra... - 19:16 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- The main problem (for me) was that I had upgraded to Ubuntu 20.04, and this automatically upgraded @txt2tags@.
The n... - 10:38 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- Anna Maria Bigatti wrote:
> Ulrich von der Ohe wrote:
> > do not make much sense and prohibit that the documentatio... - 07:27 Bug #1662 (In Progress): txt2tags: problem with filenames containing "_" or "-"
- Ulrich von der Ohe wrote:
> do not make much sense and prohibit that the documentation is built.
This (for this r... - 02:32 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- Regarding the new version of @doc/Makefile@ in the recent release CoCoALib 0.99800:
If a @$(TXT2TAGS)@ resides in ...
23 Mar 2022
- 18:31 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- Splendid. I'll try this tomorrow.
- 14:48 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- There was a problem with the previous file: Apparently txt2tags is trying to be clever and inserts @\#@ when asked to...
- 10:30 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- I've had a related problem with the txt2tags configuration (with CoCoALib 0.97718), which was due to a broken regular...
18 Mar 2022
- 10:28 Bug #1662: txt2tags: problem with filenames containing "_" or "-"
- check for "warning" in CoCoALib.log: there are lots of problems with internal links, it seems (but only for me and ...
- 10:26 Support #1674 (Closed): DocTeX.t2t missing several "index entries"
- 09:07 Support #1674 (Feedback): DocTeX.t2t missing several "index entries"
- All fixed.
I also added in Makefile fgrep for warnings (line copied from Makefile for cocoa5 manual).
17 Mar 2022
- 23:40 Support #1674 (Closed): DocTeX.t2t missing several "index entries"
- The file *@DocTeX.t2t@* seems to be missing several entries.
Complete it! Quickly!
Also available in: Atom