FKlie / Predicata

GAP package Predicata: Deciding Presburger arithmetic using automata theory
http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/
GNU General Public License v3.0
0 stars 1 forks source link

Do not keep derived files under version control #1

Open olexandr-konovalov opened 5 years ago

olexandr-konovalov commented 5 years ago

This refers to files in doc - it is recommended to keep only the source of the documentation, i.e. xml files, bib files (if applicable) etc., but not those which are built from source.

FKlie commented 5 years ago

I might need to change/fixes the manual anyways. I will clean this up at the end.

fingolfin commented 5 years ago

Actually, it seems you removed the XML files, i.e. the sources of your manual, but on the other hand left all the *.html files in... Huh?