boyska:
> a. to just copy freepto-docs*.deb from the already built one
I would say, let's complete the v1.0.2 release with the old freepto-docs
package.
It is not a bid deal since the are no documentation changes in this
release, and we can release it during the weekend.
> c. to fix the freepto-docs package (seems that we can simplify it a bit,
> by the way)
We should do that anyhow. Let me have a look at the script so I can
start the deb-packaging refactoring with this one after I fixed it :)
> I don't know which is the easiest, which is the "better", etc. But you
> devs finally know what you should do on this weekend!
I am going to work on it in the afternoon
--
vinc3nt
+-------------------------------------------------------------+
|GPG Id key: 4096R/DAA26AC4 2012-12-07 |
|GPG Fingerprint: 19D8011C 81891778 7A1986DC 28E8567F DAA26AC4|
|OTR Fingerprint: 86F3EE43 8A9340D2 FF92A828 81C84DC2 FEDD839E|
+-------------------------------------------------------------+
